Andreas Rossberg
From MaRDI portal
Person:2936810
Available identifiers
zbMath Open rossberg.andreasWikidataQ102384578 ScholiaQ102384578MaRDI QIDQ2936810
List of research outcomes
| 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
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Andreas Rossberg
