Programming Systems Lab: Publications by Andreas Rossberg

Saarland University Computer Science

Select author:

2007

Status Report: HOT Pickles, and how to serve them   (pdf)
Andreas Rossberg, Guido Tack, Leif Kornstaedt
2007 ACM SIGPLAN Workshop on ML

Typed Open Programming -- A higher-order, typed approach to dynamic modularity and distribution   (pdf)
Andreas Rossberg
PhD Thesis, Universität des Saarlandes, Preliminary version

2006

The Missing Link - Dynamic Components for ML (Extended)   (pdf)
Andreas Rossberg
Technical Report, Extended version of ICFP'06 paper

The Missing Link - Dynamic Components for ML   (pdf)
Andreas Rossberg
11th International Conference on Functional Programming

Alice Through the Looking Glass   (pdf)
Andreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus, Gert Smolka
Trends in Functional Programming, Volume 5

2005

Modular Grammar Design with Typed Parametric Principles   (pdf)
Ralph Debusmann, Denys Duchier, Andreas Rossberg
10th Conference on Formal Grammar and 9th Meeting on Mathematics of Language

Alice Through the Looking Glass (Extended Mix)   (pdf)
Andreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus, Gert Smolka
Technical Report, Draft, \urlhttp://www.ps.uni-sb.de/Papers/

The Definition of Standard ML with Packages   (pdf)
Andreas Rossberg
Technical Report

2003

Generativity and Dynamic Opacity for Abstract Types (Extended Version)   (pdf)
Andreas Rossberg
Technical Report, Extended version of PPDP'2003 paper

Generativity and Dynamic Opacity for Abstract Types   (pdf)
Andreas Rossberg
Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

2002

A Theory of Overloading Part II: Semantics and Coherence   (pdf)
Martin Sulzmann, Andreas Rossberg
Technical Report

Dynamic Opacity for Abstract Types   (pdf)
Andreas Rossberg
Technical Report

Beyond Type Classes   (pdf)
Andreas Rossberg, Martin Sulzmann
Technical Report

2001

Defects in the Revised Definition of Standard ML   (pdf)
Andreas Rossberg
Technical Report, Updated 2004/06/22, 2005/01/13, 2005/01/26, 2006/07/18., 2007/01/22


Login to edit


Legal notice, Privacy policy