Andreas Rossberg
- Research Area(s)
- Software Systems
- Algorithms and Theory
Google Publications
-
1ML - core and modules united (F-ing first-class modules)
International Conference on Functional Programming, ACM-SIGPLAN, Vancouver, Canada (2015)
-
Andreas Rossberg, Claudio Russo, Derek Dreyer
Journal of Functional Programming, vol. 24 (5) (2014)
-
Mixin' up the ML module system
Andreas Rossberg, Derek Dreyer
Transactions on Programming Languages and Systems, vol. 35 (1) (2013)
-
Georg Neis, Derek Dreyer, Andreas Rossberg
Journal of Funcitonal Programming, vol. 21 (4 & 5) (2011)
