| |
| 2008 | ||
|---|---|---|
| 4 | EE | Nicolas Oury, Wouter Swierstra: The power of Pi. ICFP 2008: 39-50 |
| 3 | EE | Wouter Swierstra: Data types à la carte. J. Funct. Program. 18(4): 423-436 (2008) |
| 2007 | ||
| 2 | EE | Wouter Swierstra, Thorsten Altenkirch: Beauty in the beast. Haskell 2007: 25-36 |
| 1 | EE | Thorsten Altenkirch, Conor McBride, Wouter Swierstra: Observational equality, now! PLPV 2007: 57-68 |
| 1 | Thorsten Altenkirch | [1] [2] |
| 2 | Conor McBride | [1] |
| 3 | Nicolas Oury | [4] |