![Andreas Rossberg](https://icfp16.sigplan.org/getProfileImage/andreasrossberg/dd081052-55a0-4210-8ea6-3f2e1bd20d04/small.jpg?1711606235000)
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
ICFP 2016-profile
View general profile
View general profile