Arnar

Personal information


Theoretical CS, formal semantics, functional programming languages, dynamic languages to name a few

History


4 years 3 weeks