 | 2010 |
| 7 |  | Fritz Henglein,
Ken Friis Larsen:
Generic multiset programming for language-integrated querying.
ICFP-WGP 2010: 49-60 |
| 6 |  | Fritz Henglein,
Ken Friis Larsen:
Generic multiset programming with discrimination-based joins and symbolic Cartesian products.
Higher-Order and Symbolic Computation 23(3): 337-370 (2010) |
| 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 |