Aghilas Y. Boussaa

Student at École normale supérieure Paris
Computer Science department
email: firstname.lastname@ens.fr
github: 4y8

Here is a CV

Interests

Theory and implementation of programming languages, compilation, type theory, algebraic effects, effect handlers, logic, category theory

Publications

Bidirectional Typing with Freezing, Skeletons, and Ghosts

Wenhao Tang, Shengyi Jiang, Aghilas Y. Boussaa, Sam Lindley, Bruno C. d. S. Oliveira. Conditionally accepted at POPL 27. [arxiv]

Works

• watib an optimising toolchain for WebAssembly
• met a toy ML-like language with Modal Effect Types