BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Rossberg:Andreas

Contributed to:

ICFP 20152015
POPL 20102010
ICFP 20092009
POPL 20092009
ICFP 20082008
ICFP 20062006
PPDP 20032003
OOPSLA 20192019
PLDI 20172017

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.