Atze Dijkstra
Atze Dijkstra
Assistant Professor, Utrecht University
Verified email at atzedijkstra.net
Title
Cited by
Cited by
Year
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
782009
A generic deriving mechanism for Haskell
JP Magalh„es, A Dijkstra, J Jeuring, A LŲh
ACM Sigplan Notices 45 (11), 37-48, 2010
772010
Stepping through Haskell
A Dijkstra
Utrecht University, 2005
432005
Ruler: Programming type rules
A Dijkstra, SD Swierstra
International Symposium on Functional and Logic Programming, 30-46, 2006
342006
Typing haskell with an attribute grammar
A Dijkstra, SD Swierstra
International School on Advanced Functional Programming, 1-72, 2004
252004
Making implicit parameters explicit
A Dijkstra, SD Swierstra
UU WINFI Informatica en Informatiekunde, 2005
212005
Iterative type inference with attribute grammars
A Middelkoop, A Dijkstra, SD Swierstra
Proceedings of the ninth international conference on Generative programming†…, 2010
172010
The structure of the essential haskell compiler, or coping with compiler complexity
A Dijkstra, J Fokker, SD Swierstra
Symposium on Implementation and Application of Functional Languages, 57-74, 2007
142007
EHC Web
A Dijkstra
142004
First class syntax, semantics, and their composition
M Viera, SD Swierstra
Proceedings of the 25th symposium on Implementation and Application of†…, 2013
122013
Building javascript applications with haskell
A Dijkstra, J Stutterheim, A Vermeulen, SD Swierstra
Symposium on Implementation and Application of Functional Languages, 37-52, 2012
122012
The kennedy-warren algorithm revisited: ordering attribute grammars
J Bransen, A Middelkoop, A Dijkstra, SD Swierstra
International Symposium on Practical Aspects of Declarative Languages, 183-197, 2012
122012
Typing haskell with an attribute grammar (part i)
A Dijkstra, SD Swierstra
Utrecht University: Information and Computing Sciences, 2004
122004
A lean specification for GADTs: system F with first-class equality proofs
A Middelkoop, A Dijkstra, SD Swierstra
Higher-Order and Symbolic Computation 23 (2), 145, 2010
82010
Visit Functions for the Semantics of Programming Languages
A Middelkoop, A Dijkstra, SD Swierstra
Workshop on Generative Programming, 2010
82010
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
82007
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
72015
Grammar fragments fly first-class
M Viera, D Swierstra, A Dijkstra
Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and†…, 2012
72012
UHC Utrecht Haskell Compiler
A Dijkstra, J Fokker, SD Swierstra
Technical report, 2009
72009
Lazy functional parser combinators in Java
A Dijkstra, DS Swierstra
Proc. 1st Workshop on Multiparadigm Programming with Object-Oriented†…, 2001
72001
The system can't perform the operation now. Try again later.
Articles 1–20