Stephane Rolland

Personal information


male

Functional Programming, Type Theory, Categoy Theory, Language Design

History


9 years 48 weeks