Home » user account

Andreas Rossberg

Personal information


Germany

male

http://www.mpi-sws.org/~rossberg/

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

History


8 years 20 weeks