- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| 2 |      | Ralf Lämmel, Ondrej Rypacek: The Expression Lemma. MPC 2008: 193-219 |
| 2006 | ||
| 1 | | 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] |