| A generic deriving mechanism for Haskell JP Magalhães, A Dijkstra, J Jeuring, A Löh ACM Sigplan Notices 45 (11), 37-48, 2010 | 122 | 2010 |
| The architecture of the Utrecht Haskell compiler A Dijkstra, J Fokker, SD Swierstra Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, 93-104, 2009 | 83 | 2009 |
| Stepping through Haskell A Dijkstra Utrecht University, 2005 | 47 | 2005 |
| Ruler: Programming type rules A Dijkstra, SD Swierstra International Symposium on Functional and Logic Programming, 30-46, 2006 | 35 | 2006 |
| Typing haskell with an attribute grammar A Dijkstra, SD Swierstra Advanced Functional Programming: 5th International School, AFP 2004, Tartu …, 2005 | 32 | 2005 |
| Iterative type inference with attribute grammars A Middelkoop, A Dijkstra, SD Swierstra Proceedings of the ninth international conference on Generative programming …, 2010 | 22 | 2010 |
| Making implicit parameters explicit A Dijkstra, SD Swierstra UU WINFI Informatica en Informatiekunde, 2005 | 22 | 2005 |
| The structure of the essential haskell compiler, or coping with compiler complexity A Dijkstra, J Fokker, SD Swierstra Implementation and Application of Functional Languages: 19th International …, 2008 | 16 | 2008 |
| Building javascript applications with haskell A Dijkstra, J Stutterheim, A Vermeulen, SD Swierstra Implementation and Application of Functional Languages: 24th International …, 2013 | 15 | 2013 |
| The kennedy-warren algorithm revisited: Ordering attribute grammars J Bransen, A Middelkoop, A Dijkstra, SD Swierstra Practical Aspects of Declarative Languages: 14th International Symposium …, 2012 | 14 | 2012 |
| EHC Web A Dijkstra | 14 | 2004 |
| Typing haskell with an attribute grammar (part i) A Dijkstra, SD Swierstra Utrecht University: Information and Computing Sciences, 2004 | 13 | 2004 |
| A lean specification for GADTs: system F with first-class equality proofs A Middelkoop, A Dijkstra, SD Swierstra Higher-Order and Symbolic Computation 23, 145-166, 2010 | 9 | 2010 |
| Linearly ordered attribute grammars: With automatic augmenting dependency selection LT van Binsbergen, J Bransen, A Dijkstra Proceedings of the 2015 Workshop on Partial Evaluation and Program …, 2015 | 8 | 2015 |
| Grammar fragments fly first-class M Viera, D Swierstra, A Dijkstra Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and …, 2012 | 8 | 2012 |
| Visit Functions for the Semantics of Programming Languages A Middelkoop, A Dijkstra, SD Swierstra Workshop on Generative Programming, 2010 | 8 | 2010 |
| Modelling Scoped Instances with Constraint Handling Rules A Dijkstra, G van den Geest, B Heeren, SD Swierstra Department of Information and Computing Sciences–Universiteit Utrecht …, 2007 | 8 | 2007 |
| Attribute evaluation on a network of transputers MF Kuiper, A Dijkstra Developing Transputer Applications, 142-149, 1989 | 8 | 1989 |
| UHC Utrecht Haskell Compiler A Dijkstra, J Fokker, SD Swierstra Technical report, 2009 | 7 | 2009 |
| Lazy functional parser combinators in Java A Dijkstra, DS Swierstra Proc. 1st Workshop on Multiparadigm Programming with Object-Oriented …, 2001 | 7 | 2001 |
Doaitse SwierstraProfessor of Computer Science, Utrecht UniversityVerified email at swierstra.net
