| |
| 2008 | ||
|---|---|---|
| 3 | EE | Lukas Bulwahn, Alexander Krauss, Florian Haftmann, Levent Erkök, John Matthews: Imperative Functional Programming with Isabelle/HOL. TPHOLs 2008: 134-149 |
| 2002 | ||
| 2 | EE | Levent Erkök, John Launchbury, Andrew Moran: Semantics of value recursion for Monadic Input/Output. ITA 36(2): 155-180 (2002) |
| 2000 | ||
| 1 | EE | Levent Erkök, John Launchbury: Recursive monadic bindings. ICFP 2000: 174-185 |
| 1 | Lukas Bulwahn | [3] |
| 2 | Florian Haftmann | [3] |
| 3 | Alexander Krauss | [3] |
| 4 | John Launchbury | [1] [2] |
| 5 | John Matthews | [3] |
| 6 | Andrew Moran | [2] |