Julien Roussel

Personal information


France

male

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

History


19 years 36 weeks