Travelled to:1 × Spain
1 × Sweden
1 × United Kingdom
2 × Canada
2 × USA
Collaborated with:∅ D.Dreyer G.Neis A.Ahmed C.Watt J.Pichon-Pharabod L.Birkedal A.Haas D.L.Schuff Ben L. Titzer Michael Holman Dan Gohman Luke Wagner Alon Zakai J. F. Bastien
Talks about:modul (3) web (3) ml (3) parametr (2) assembl (2) state (2) dynam (2) up (2) represent (1) independ (1)
Person: Andreas Rossberg
DBLP: Rossberg:Andreas
Contributed to:
2015
20102009200920082006
2003
2019
2017Wrote 9 papers:
- ICFP-2015-Rossberg #ml #named
- 1ML — core and modules united (F-ing first-class modules) (AR), pp. 35–47.
- POPL-2010-DreyerNRB #data type #higher-order #logic #relational
- A relational modal logic for higher-order stateful ADTs (DD, GN, AR, LB), pp. 185–198.
- ICFP-2009-NeisDR #parametricity
- Non-parametric parametricity (GN, DD, AR), pp. 135–148.
- POPL-2009-AhmedDR #independence #representation
- State-dependent representation independence (AA, DD, AR), pp. 340–353.
- ICFP-2008-DreyerR #mixin #ml
- Mixin’ up the ML module system (DD, AR), pp. 307–320.
- ICFP-2006-Rossberg #component #ml
- The missing link: dynamic components for ML (AR), pp. 99–110.
- PPDP-2003-Rossberg #data type
- Generativity and dynamic opacity for abstract types (AR), pp. 241–252.
- OOPSLA-2019-WattRP
- Weakening WebAssembly (CW, AR, JPP), p. 28.
- PLDI-2017-HaasRSTHGWZB #web
- Bringing the web up to speed with WebAssembly (AH, AR, DLS, BLT, MH, DG, LW, AZ, JFB), pp. 185–200.