Andreas Rossberg
From MaRDI portal
Person:2936810
Available identifiers
zbMath Open rossberg.andreasDBLP90/3425WikidataQ102384578 ScholiaQ102384578MaRDI QIDQ2936810
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| 1ML – Core and modules united | 2019-02-20 | Paper |
| 1ML – core and modules united (F-ing first-class modules) | 2017-05-10 | Paper |
| 1ML with Special Effects | 2016-08-17 | Paper |
| State-dependent representation independence | 2015-07-03 | Paper |
| A relational modal logic for higher-order stateful ADTs | 2015-06-11 | Paper |
| F-ing modules | 2015-03-25 | Paper |
| Mixin' up the ML module system | 2015-03-16 | Paper |
| Non-parametric parametricity | 2015-01-06 | Paper |
| Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions | 2014-05-13 | Paper |
| Non-parametric parametricity | 2013-04-24 | Paper |
Research outcomes over time
This page was built for person: Andreas Rossberg
