Non-Parametric Parametricity
Georg Neis, Derek Dreyer, Andreas Rossberg
submitted to Journal of Functional Programming (
JFP), 2010
revised and 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
--------
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
--------
Typed Open Programming - A higher-order, typed approach to dynamic modularity and distribution
Andreas Rossberg
Doctoral Thesis
Universität des Saarlandes, January 2007
--------
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)
--------
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
--------
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
--------
