Name:Andreas Rossberg

Country:Germany

Affiliation:Google

Research interests:type systems :: module systems :: functional languages :: object-oriented languages :: compilers :: runtime systems :: concurrency :: program semantics :: mechanized meta-theory :: broken beats