Home » user account

Julien Roussel

Personal information


France

male

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

History


20 years 17 weeks