Typing Haskell with an Attribute Grammar. - Atze Dijkstra; S. Doaitse Swierstra (Advanced Functional Programming, 2004)

Stepping through Haskell. - Atze Dijkstra (2005)

Ruler: Programming Type Rules. - Atze Dijkstra; S. Doaitse Swierstra (FLOPS, 2006)

The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity. - Atze Dijkstra; Jeroen Fokker; S. Doaitse Swierstra (IFL, 2007)

A Leaner Specification for GADTs. - Arie Middelkoop; Atze Dijkstra; S. Doaitse Swierstra (Trends in Functional Programming, 2008)

The architecture of the Utrecht Haskell compiler. - Atze Dijkstra; Jeroen Fokker; S. Doaitse Swierstra (Haskell, 2009)

Iterative type inference with attribute grammars. - Arie Middelkoop; Atze Dijkstra; S. Doaitse Swierstra (GPCE, 2010)

A generic deriving mechanism for Haskell. - José Pedro Magalhães; Atze Dijkstra; Johan Jeuring; Andres Löh (Haskell, 2010)

Dependently Typed Attribute Grammars. - Arie Middelkoop; Atze Dijkstra; S. Doaitse Swierstra (IFL, 2010)

Visitor-based Attribute Grammars with Side Effect. - Arie Middelkoop; Atze Dijkstra; S. Doaitse Swierstra (WGT@ETAPS, 2010)

A lean specification for GADTs: system F with first-class equality proofs. - Arie Middelkoop; Atze Dijkstra; S. Doaitse Swierstra (High. Order Symb. Comput., 2010)

Stepwise evaluation of attribute grammars. - Arie Middelkoop; Atze Dijkstra; S. Doaitse Swierstra (LDTA, 2011)

Building JavaScript Applications with Haskell. - Atze Dijkstra; Jurriën Stutterheim; Alessandro Vermeulen; S. Doaitse Swierstra (IFL, 2012)

Grammar fragments fly first-class. - Marcos Viera; S. Doaitse Swierstra; Atze Dijkstra (LDTA, 2012)

The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars. - Jeroen Bransen; Arie Middelkoop; Atze Dijkstra; S. Doaitse Swierstra (PADL, 2012)

Parse Your Options. - S. Doaitse Swierstra; Atze Dijkstra (The Beauty of Functional Code, 2013)

Lazy stateless incremental evaluation machinery for attribute grammars. - Jeroen Bransen; Atze Dijkstra; S. Doaitse Swierstra (PEPM, 2014)

Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection. - L. Thomas van Binsbergen; Jeroen Bransen; Atze Dijkstra (PEPM, 2015)

Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving. - Jeroen Bransen; L. Thomas van Binsbergen; Koen Claessen; Atze Dijkstra (TACAS, 2015)

A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts. - S. Doaitse Swierstra; Marcos Viera; Atze Dijkstra (IFL, 2016)

Incremental evaluation of higher-order attributes. - Jeroen Bransen; Atze Dijkstra; S. Doaitse Swierstra (Sci. Comput. Program., 2017)

Functional Programming in Financial Markets (Experience Report). - Atze Dijkstra; José Pedro Magalhães; Pierre Néron (Proc. ACM Program. Lang., 2024)