Julien Roussel

Personal information


France

male

programming language theory, functional programming, Caml, type theory, proofs

History


13 years 13 weeks