Atze Dijkstra

ORCID

Publication Activity (10 Years)

Years Active: 2004-2017
Publications (10 Years): 3

Top Venues

PEPM

IFL

PADL

The Beauty of Functional Code

Utrecht University, Netherlands (PHD)

Education History

Utrecht University, Netherlands

PHD

Publications

Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra
Incremental evaluation of higher-order attributes. Sci. Comput. Program. 137 (2017)
S. Doaitse Swierstra, Marcos Viera, Atze Dijkstra
A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts. CoRR (2016)
S. Doaitse Swierstra, Marcos Viera, Atze Dijkstra
A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts. IFL (2016)
Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra
Incremental Evaluation of Higher Order Attributes. PEPM (2015)
Jeroen Bransen, L. Thomas van Binsbergen, Koen Claessen, Atze Dijkstra
Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving. TACAS (2015)
L. Thomas van Binsbergen, Jeroen Bransen, Atze Dijkstra
Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection. PEPM (2015)
Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra
Lazy stateless incremental evaluation machinery for attribute grammars. PEPM (2014)
S. Doaitse Swierstra, Atze Dijkstra
Parse Your Options. The Beauty of Functional Code (2013)
Marcos Viera, S. Doaitse Swierstra, Atze Dijkstra
Grammar fragments fly first-class. LDTA (2012)
Atze Dijkstra, Jurriën Stutterheim, Alessandro Vermeulen, S. Doaitse Swierstra
Building JavaScript Applications with Haskell. IFL (2012)
Jeroen Bransen, Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars. PADL (2012)
Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
Visitor-based Attribute Grammars with Side Effect. Electron. Notes Theor. Comput. Sci. 264 (5) (2011)
Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
Stepwise evaluation of attribute grammars. LDTA (2011)
Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
Iterative type inference with attribute grammars. GPCE (2010)
Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
Dependently Typed Attribute Grammars. IFL (2010)
Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
A lean specification for GADTs: system F with first-class equality proofs. High. Order Symb. Comput. 23 (2) (2010)
José Pedro Magalhães, Atze Dijkstra, Johan Jeuring, Andres Löh
A generic deriving mechanism for Haskell. Haskell (2010)
Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra
The architecture of the Utrecht Haskell compiler. Haskell (2009)
Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra
A Leaner Specification for GADTs. Trends in Functional Programming (2008)
Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra
The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity. IFL (2007)
Atze Dijkstra, S. Doaitse Swierstra
Ruler: Programming Type Rules. FLOPS (2006)
Atze Dijkstra, S. Doaitse Swierstra
Typing Haskell with an Attribute Grammar. Advanced Functional Programming (2004)

Atze Dijkstra.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Atze Dijkstra