Christian Neukirchen

Personal information


functional programming, type theory, dependent types, proof theory, minimalist languages, self-sustaining systems, languages for large-scale programming

History


5 years 28 weeks