- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c9 |      | Jeroen Bransen, Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra: The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars. PADL 2012: 183-197 |
| 2011 | ||
| c8 | | Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra: Stepwise evaluation of attribute grammars. LDTA 2011: 5 |
| 2010 | ||
| j1 | | Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra: A lean specification for GADTs: system F with first-class equality proofs. Higher-Order and Symbolic Computation 23(2): 145-166 (2010) |
| c7 | | Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra: Iterative type inference with attribute grammars. GPCE 2010: 43-52 |
| c6 | | José Pedro Magalhães, Atze Dijkstra, Johan Jeuring, Andres Löh: A generic deriving mechanism for Haskell. Haskell 2010: 37-48 |
| c5 | | Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra: Dependently Typed Attribute Grammars. IFL 2010: 105-120 |
| 2009 | ||
| c4 | | Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra: The architecture of the Utrecht Haskell compiler. Haskell 2009: 93-104 |
| 2007 | ||
| c3 | | Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra: The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity. IFL 2007: 57-74 |
| 2006 | ||
| c2 | | |
| 2004 | ||
| c1 | | Atze Dijkstra, S. Doaitse Swierstra: Typing Haskell with an Attribute Grammar. Advanced Functional Programming 2004: 1-72 |
| 1 | Jeroen Bransen | |
| 2 | Jeroen Fokker | |
| 3 | Johan Jeuring | |
| 4 | Andres Löh | |
| 5 | José Pedro Magalhães | |
| 6 | Arie Middelkoop | |
| 7 | S. Doaitse Swierstra |
Data released under the ODC-BY 1.0 license — See also our legal information page