| 2009 | ||
|---|---|---|
| 6 | Marcos Viera, S. Doaitse Swierstra, Wouter Swierstra: Attribute grammars fly first-class: how to do aspect oriented programming in Haskell. ICFP 2009: 245-256 | |
| 5 | Wouter Swierstra: A Hoare Logic for the State Monad. TPHOLs 2009: 440-451 | |
| 2008 | ||
| 4 | Nicolas Oury, Wouter Swierstra: The power of Pi. ICFP 2008: 39-50 | |
| 3 | Wouter Swierstra: Data types à la carte. J. Funct. Program. 18(4): 423-436 (2008) | |
| 2007 | ||
| 2 | Wouter Swierstra, Thorsten Altenkirch: Beauty in the beast. Haskell 2007: 25-36 | |
| 1 | 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] |
| 4 | S. Doaitse Swierstra | [6] |
| 5 | Marcos Viera | [6] |