Home » user account

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


20 years 13 weeks