Registered user since Wed 8 Mar 2017

Name: Andreas Rossberg

Country: Germany

Affiliation: Google

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

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

Contributions