
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
ML 2016 | WebAssembly: high speed at low cost for everyone | ||||||||||||||||||||||||||||||||||||||||
ICFP 2016 | Committee Member in External Review Committee within the Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2016-profile
View general profile
View general profile