| |
| 2008 | ||
|---|---|---|
| 2 | EE | Ralf Lämmel, Ondrej Rypacek: The Expression Lemma. MPC 2008: 193-219 |
| 2006 | ||
| 1 | EE | Ondrej Rypacek, Roland Carl Backhouse, Henrik Nilsson: Type-theoretic design patterns. ICFP-WGP 2006: 13-22 |
| 1 | Roland Carl Backhouse | [1] |
| 2 | Ralf Lämmel (Ralf Laemmel, Ralf Lammel) | [2] |
| 3 | Henrik Nilsson | [1] |