Aghilas Y. Boussaa

Élève à l'École normale supérieure
Département d'informatique
email : prenom.nom@ens.fr
github : 4y8

Domaines d'intérêts

Théorie et implémentation des langages de programmation, compilation, théorie des types, effets algébriques (et handlers), logique, théorie des catégories

Si vous voulez travailler avec moi sur un de ces sujets, n'hésitez pas à m'envoyer un email.

Travaux

watib une chaîne d'outils optimisante pour WebAssembly
met un ML jouet avec un système de types et d'effets modaux