2005 | ||
---|---|---|
9 | Martin Elsman: Type-specialized serialization with sharing. Trends in Functional Programming 2005: 47-62 | |
2004 | ||
8 | EE | Martin Elsman, Ken Friis Larsen: Typing XHTML Web Applications in ML. PADL 2004: 224-238 |
7 | EE | Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg: A Retrospective on Region-Based Memory Management. Higher-Order and Symbolic Computation 17(3): 245-265 (2004) |
2003 | ||
6 | EE | Martin Elsman, Niels Hallenberg: Web Programming with SMLserver. PADL 2003: 74-91 |
5 | EE | Martin Elsman: Garbage collection safety for region-based memory management. TLDI 2003: 123-134 |
4 | EE | Martin Elsman: Garbage collection safety for region-based memory management. TLDI 2003: 123-134 |
2002 | ||
3 | EE | Niels Hallenberg, Martin Elsman, Mads Tofte: Combining Region Inference and Garbage Collection. PLDI 2002: 141-152 |
1999 | ||
2 | EE | Martin Elsman: Static Interpretation of Modules. ICFP 1999: 208-219 |
1998 | ||
1 | EE | Martin Elsman: Polymorphic Equality - No Tags Required. Types in Compilation 1998: 136-155 |
1 | Lars Birkedal | [7] |
2 | Niels Hallenberg | [3] [6] [7] |
3 | Ken Friis Larsen | [8] |
4 | Mads Tofte | [3] [7] |