Atze Dijkstra
Atze Dijkstra
Assistant Professor, Utrecht University
Verified email at atzedijkstra.net
TitleCited byYear
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
752009
A generic deriving mechanism for Haskell
JP Magalh„es, A Dijkstra, J Jeuring, A LŲh
ACM Sigplan Notices 45 (11), 37-48, 2010
742010
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
332006
Typing haskell with an attribute grammar
A Dijkstra, SD Swierstra
International School on Advanced Functional Programming, 1-72, 2004
262004
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
ACM SIGPLAN Notices 46 (2), 43-52, 2010
152010
EHC Web
A Dijkstra
142004
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
132007
First class syntax, semantics, and their composition
M Viera, SD Swierstra
Proceedings of the 25th symposium on Implementation and Application of†…, 2013
122013
Typing haskell with an attribute grammar (part i)
A Dijkstra, SD Swierstra
Utrecht University: Information and Computing Sciences, 2004
122004
Building javascript applications with haskell
A Dijkstra, J Stutterheim, A Vermeulen, SD Swierstra
Symposium on Implementation and Application of Functional Languages, 37-52, 2012
112012
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
112012
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
Grammar fragments fly first-class.
M Viera, SD Swierstra, A Dijkstra
LDTA, 5, 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
Network of Transputers
MF Kuiper
Developing Transputer Applications: OUG-11: Proceedings of the 11th Occam†…, 1989
71989
The system can't perform the operation now. Try again later.
Articles 1–20