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 47 weeks

AltStyle によって変換されたページ (->オリジナル) /