andreas.rossberg

Current Drafts

1ML — Core and modules united (F-ing first-class modules) (Draft)
Andreas Rossberg :: submitted to Journal of Functional Programming (JFP), 2016
best printed in color; revised and expanded version of ICFP 2015 paper

--------

Refereed Papers

Bringing the Web up to Speed with WebAssembly
Andreas Haas, Andreas Rossberg, Derek Schuff, Ben Titzer, Dan Gohman, Luke Wagner, Alon Zakai, JF Bastien, Michael Holman
ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017)
Barcelona, Spain, June 2017
Distinguished Paper Award

--------

1ML with Special Effects (F-ing Generativity Polymorphism)
Andreas Rossberg
WadlerFest 2016 (WF 2016)
Edinburgh, UK, April 2016
best printed in color

--------

1ML — Core and modules united (F-ing first-class modules)
Andreas Rossberg
20th ACM-SIGPLAN International Conference on Functional Programming (ICFP 2015)
Extended Version with technical appendices available as Technical Report
best printed in color
prototype implementation available from project page

--------

F-ing Modules
Andreas Rossberg, Claudio Russo, Derek Dreyer
Journal of Functional Programming (JFP 24, 5), 2014
revised and significantly extended version of our TLDI 2010 paper; best printed in color

--------

1ML — core and modules as one (Abstract)
Andreas Rossberg
ACM-SIGPLAN ML Family Workshop (ML 2014)
Gothenburg, Sweden, September 2014

--------

Mixin' Up the ML Module System
Andreas Rossberg, Derek Dreyer
ACM Transactions on Programming Languages and Systems (TOPLAS 35, 1), 2013
revised and expanded version of our ICFP 2008 paper
prototype implementation available from project page

--------

F-ing Applicative Functors (Abstract) (Slides)
Andreas Rossberg, Claudio Russo, Derek Dreyer
ACM-SIGPLAN Workshop on ML (ML 2012)
Copenhagen, Denmark, September 2012

--------

Non-Parametric Parametricity
Georg Neis, Derek Dreyer, Andreas Rossberg
Journal of Functional Programming (JFP 21, 4 & 5), 2011
revised and significantly expanded version of our ICFP 2009 paper
my presentation at ICFP can be viewed online

--------

F-ing Modules
Andreas Rossberg, Claudio Russo, Derek Dreyer
5th ACM-SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2010)
Madrid, Spain, January 2010
Coq proof scripts available from project page

--------

A Relational Modal Logic for Higher-Order Stateful ADTs
Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal
37th Annual ACM-SIGPLAN/SIGACT Symposium on Principles of Programming Languages (POPL 2010)
Madrid, Spain, January 2010
Technical Appendix with additional details and proofs available as Technical Report

--------

ML'09: Proceedings of the 2009 ACM-SIGPLAN Workshop on ML
Andreas Rossberg (editor)
Edinburgh, GB, September 2009. ACM

--------

Non-Parametric Parametricity
Georg Neis, Derek Dreyer, Andreas Rossberg
14th ACM-SIGPLAN International Conference on Functional Programming (ICFP 2009)
Edinburgh, GB, September 2009
Technical Appendix with proofs and more examples
my presentation at ICFP can be viewed online

--------

State-Dependent Representation Independence
Amal Ahmed, Derek Dreyer, Andreas Rossberg
36th Annual ACM-SIGPLAN/SIGACT Symposium on Principles of Programming Languages (POPL 2009)
Savannah, Georgia, USA, January 2009
Technical Appendix with proofs and more examples available online

--------

Mixin' Up the ML Module System
Derek Dreyer, Andreas Rossberg
13th ACM-SIGPLAN International Conference on Functional Programming (ICFP 2008)
Victoria, Canada, September 2008
Extended Version with technical appendices available as Technical Report
prototype implementation available from project page

--------

Mechanizing the Metatheory of a Language With Linear Resources and Context Effects (Abstract)
Daniel Lee, Derek Dreyer, Andreas Rossberg
ACM-SIGPLAN Informal Workshop on Mechanizing Metatheory (WMM 2008)
Victoria, Canada, September 2008

--------

Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions
Andreas Rossberg
24th Conference on Mathematical Foundations of Programming Semantics (MFPS 2008)
Philadelphia, USA, May 2008

--------

HOT Pickles, and How To Serve Them
Andreas Rossberg, Guido Tack, Leif Kornstaedt
2007 ACM-SIGPLAN Workshop on ML (ML 2007)
Freiburg, Germany, October 2007

--------

The Missing Link - Dynamic Components for ML
Andreas Rossberg
11th ACM-SIGPLAN International Conference on Functional Programming (ICFP 2006)
Portland, Oregon, USA, September 2006
Extended Version with proofs available as Technical Report

--------

Modular Grammar Design with Typed Parametric Principles
Ralph Debusmann, Denys Duchier, Andreas Rossberg
10th Conference on Formal Grammar & 9th Meeting on Mathematics of Language (FG-MOL 2005)
Edinburgh, GB, 2005

--------

Alice Through the Looking Glass
Andreas Rossberg, Didier Le Botlan, Guido Tack, Gert Smolka
5th Symposium on Trends in Functional Programming (TFP 2004)
Munich, Germany, 2004
Trends in Functional Programming, Vol. 5, 2006
Intellect Books, Bristol, GB, ISBN 1-84150144-1
Extended Version available as a Technical Report

--------

Generativity and Dynamic Opacity for Abstract Types
Andreas Rossberg
5th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP 2003)
Uppsala, Sweden, September 2003
Extended Version with proofs available as Technical Report

--------

Thesis

Typed Open Programming - A higher-order, typed approach to dynamic modularity and distribution
Andreas Rossberg
Doctoral Thesis
Universität des Saarlandes, January 2007

--------

Technical Reports

Defects in the Revised Definition of Standard ML
Andreas Rossberg
Programming Systems Lab, Universität des Saarlandes, 2001
(Updated 2004/06/22, 2005/01/13, 2005/01/26, 2006/07/18, 2007/01/22, 2013/09/18)
Updates available on the project page

--------

The Definition of Standard ML with Packages
Andreas Rossberg
Programming Systems Lab, Universität des Saarlandes, 2005

--------

Beyond Type Classes
Andreas Rossberg, Martin Sulzmann
Universität des Saarlandes & University of Melbourne, 2002

--------

Dynamic Opacity for Abstract Types
Andreas Rossberg
Programming Systems Lab, Universität des Saarlandes, 2002

--------

Web Pages

Standard ML Grammar
Andreas Rossberg
A web page giving the full grammar of Standard ML

--------

Standard ML and Objective Caml, side by side
Jens Olsson, Andreas Rossberg
A quick chart comparing the syntax of Standard ML and Objective Caml

--------

A Tour to Wonderland
Andreas Rossberg
A brief tutorial presenting the Alice ML language and system

--------