Andreas Rossberg

Personal information


Germany

male

Functional languages, object-oriented languages, dynamic languages
Type systems, module systems, program semantics
Compilers, runtime systems, mechanized meta-theory

History


9 years 38 weeks