Follow
Atze Dijkstra
Atze Dijkstra
Assistant Professor, Utrecht University
Verified email at atzedijkstra.net
Title
Cited by
Cited by
Year
A generic deriving mechanism for Haskell
JP Magalhães, A Dijkstra, J Jeuring, A Löh
ACM Sigplan Notices 45 (11), 37-48, 2010
1182010
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
822009
Stepping through Haskell
A Dijkstra
Utrecht University, 2005
472005
Ruler: Programming type rules
A Dijkstra, SD Swierstra
International Symposium on Functional and Logic Programming, 30-46, 2006
352006
Typing haskell with an attribute grammar
A Dijkstra, SD Swierstra
Advanced Functional Programming: 5th International School, AFP 2004, Tartu …, 2005
312005
Iterative type inference with attribute grammars
A Middelkoop, A Dijkstra, SD Swierstra
Proceedings of the ninth international conference on Generative programming …, 2010
222010
Making implicit parameters explicit
A Dijkstra, SD Swierstra
UU WINFI Informatica en Informatiekunde, 2005
212005
Building javascript applications with haskell
A Dijkstra, J Stutterheim, A Vermeulen, SD Swierstra
Implementation and Application of Functional Languages: 24th International …, 2013
152013
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
152008
EHC Web
A Dijkstra
142004
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
132012
Typing haskell with an attribute grammar (part i)
A Dijkstra, SD Swierstra
Utrecht University: Information and Computing Sciences, 2004
132004
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
82015
Grammar fragments fly first-class
M Viera, D Swierstra, A Dijkstra
Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and …, 2012
82012
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
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
Attribute evaluation on a network of transputers
MF Kuiper, A Dijkstra
Developing Transputer Applications, 142-149, 1989
81989
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