
Registered user since Wed 8 Mar 2017
Name:Andreas Rossberg
Country:Germany
Affiliation:Dfinity Stiftung
Personal website:http://www.mpi-sws.org/~rossberg/
Research interests:Programming Languages, Type Systems, Module Systems, Semantics, Functional Programming, Compilers
Contributions
Higher-order, Typed, Inferred, Strict: ML Family Workshop 2023 | Committee Member in Program Committee within the ML-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile