| 2009 | ||
|---|---|---|
| 5 | Ken Friis Larsen: A MuDDy Experience-ML Bindings to a BDD Library. DSL 2009: 45-57 | |
| 4 | Fritz Henglein, Ken Friis Larsen, Jakob Grue Simonsen, Christian Stefansen: POETS: Process-oriented event-driven transaction systems. J. Log. Algebr. Program. 78(5): 381-401 (2009) | |
| 2004 | ||
| 3 | Martin Elsman, Ken Friis Larsen: Typing XHTML Web Applications in ML. PADL 2004: 224-238 | |
| 2 | Ganesh Sittampalam, Oege de Moor, Ken Friis Larsen: Incremental execution of transformation specifications. POPL 2004: 26-38 | |
| 1 | Ken Friis Larsen, Henning Niss: mGTK: An SML Binding of Gtk+. USENIX Annual Technical Conference, FREENIX Track 2004: 127-134 | |
| 1 | Martin Elsman | [3] |
| 2 | Fritz Henglein | [4] |
| 3 | Oege de Moor | [2] |
| 4 | Henning Niss | [1] |
| 5 | Jakob Grue Simonsen | [4] |
| 6 | Ganesh Sittampalam | [2] |
| 7 | Christian Stefansen | [4] |