A. Dijkstra

Making Implicit Parameters Explicit

A. Dijkstra, S. Swierstra, 2005 .

Dependently-Typed Atribute Grammars

A. Dijkstra, S. Swierstra, Arie Middelkoop, 2010 .

Haskell Communities and Activities Report

Nils Anders Danielsson, Tiago L. Alves, Brett Gordon Giles, 2002 .

A Leaner Specification for GADTs

S. Doaitse Swierstra, Arie Middelkoop, Atze Dijkstra, 2008, Trends in Functional Programming.

Efficient Functional Unification and Substitution

A. Dijkstra, S. Swierstra, Arie Middelkoop, 2008 .

Lazy functional parser combinators in Java

Atze Dijkstra, D. S. Swierstra, A. Dijkstra, 2001 .

Typing Haskell with an Attribute Grammar

S. Doaitse Swierstra, Atze Dijkstra, A. Dijkstra, 2004, Advanced Functional Programming.

Typing Haskell with an Attribute Grammar (Part I)

Atze Dijkstra, S. D. Swierstra, A. Dijkstra, 2004 .