Christian Neukirchen

Personal information


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

History


12 years 2 weeks