PL PhD student currently working on adding modular implicits to the OCaml compiler
-
INRIA
- Paris - France
Louise Leclerc
luyise
PhD student at Polytechnique, Paris.
I'm am working on Homotopy Type Theory
IP Paris Palaiseau
Constantin GIERCZAK--GALLE
cs-t1
Computer science, Esperanto and aviation enthusiast.
Love formal verification, (embedded) systems programming and functionnal/synchronous/reactive languages
École Normale Supérieure, Paris. Paris