Student at École normale supérieure
Computer Science department
email: firstname.lastname@ens.fr
github: 4y8
Theory and implementation of programming languages, compilation, type theory, logic, category theoryIf you want to collaborate with me on one of these topics, feel free to send me an email.