| 2007 Winter | The compiler class, CMSC22610-2, discusses MiniML which shares its backend with the MLPolyR compiler. |
| 2007 Winter | Exception handlers are introduced as extensible cases. This work is described in an unpublished paper. |
| 2006 Fall | The MLPolyR frontend compiler for C-- is introduced. |
| 2006 Winter | Polymorphic sums and cases are added by taking advantage of the duality with records. This work is described in ICFP'06 paper. |
| 2005 Fall | Functional record update and extension are added. |
| 2005 Spring | A modified version of the MLR language, called MLPolyR, was introduced for the course project by Matthias Blume. This language is a statically typed, strict, mostly functional programming language with a Hindley-Milner style polymorphic type system (like, e.g., Standard ML). Beyond that it features Ohori-style record polymorphism as well as two restricted forms of functonal record update.(CMSC22620-2) |
| 2005 Winter | A subset of ML with simple subtyping, called MLR, was implemented as the course project by John Reppy. (CMSC22610-1) |