A Memory-Management Unit for the Optimal Exploitation of a Small Address Space. - Coenraad Bron; E. J. Dijkstra; S. Doaitse Swierstra (Inf. Process. Lett., 1982)

Higher-Order Attribute Grammars. - Harald Vogt; S. Doaitse Swierstra; Matthijs F. Kuiper (PLDI, 1989)

Smart cabling: an overview. - A. H. Uittenbogaard; P. J. A. Lentfert; S. Doaitse Swierstra (ACM SIGOPS European Workshop, 1990)

Parallel Attribute Evaluation: Structure of Evaluators and Detection of Parallelism. - Matthijs F. Kuiper; S. Doaitse Swierstra (WAGA, 1990)

Efficient Incremental Evaluation of Higher order Attribute Grammars. - Harald Vogt; S. Doaitse Swierstra; Matthijs F. Kuiper (PLILP, 1991)

Higher Order Attribute Grammars. - S. Doaitse Swierstra; Harald Vogt (Attribute Grammars, Applications and Systems, 1991)

Using Cached Functions and Constructors for Incremental Attribute Evaluation. - Maarten Pennings; S. Doaitse Swierstra; Harald Vogt (PLILP, 1992)

Virtual Data Structures. - S. Doaitse Swierstra; Oege de Moor (Formal Program Development, 1993)

Towards the Formal Design of Self-Stabilizing Distributed Algorithms. - P. J. A. Lentfert; S. Doaitse Swierstra (STACS, 1993)

Distributed Maximum Maintenance on Hierarchically Divided Graphs. - P. J. A. Lentfert; S. Doaitse Swierstra (Formal Aspects Comput., 1993)

Bottom-up Grammar Analysis - A Functional Formulation. - Johan Jeuring; S. Doaitse Swierstra (ESOP, 1994)

Constructing Functional Programs for Grammar Analysis Problems. - Johan Jeuring; S. Doaitse Swierstra (FPCA, 1995)

Deterministic, Error-Correcting Combinator Parsers. - S. Doaitse Swierstra; Luc Duponcheel (Advanced Functional Programming, 1996)

Make your Enemies Transparent. - Tanja E. J. Vos; S. Doaitse Swierstra (WG, 1997)

Designing and Implementing Combinator Languages. - S. Doaitse Swierstra; Pablo R. Azero Alcocer; João Saraiva (Advanced Functional Programming, 1998)

Attribute grammars in the functional style. - S. Doaitse Swierstra; Pablo R. Azero Alcocer (Systems Implementation 2000, 1998)

Data Structure Free Compilation. - João Saraiva; S. Doaitse Swierstra (CC, 1999)

Fast, Error Correcting Parser Combinatiors: A Short Tutorial. - S. Doaitse Swierstra; Pablo R. Azero Alcocer (SOFSEM, 1999)

Functional Incremental Attribute Evaluation. - João Saraiva; S. Doaitse Swierstra; Matthijs F. Kuiper (CC, 2000)

Combinator Parsers - From Toys to Tools. - S. Doaitse Swierstra (Haskell, 2000)

First-class Attribute Grammars. - Oege de Moor; Kevin Backhouse; S. Doaitse Swierstra (Informatica (Slovenia), 2000)

Typing dynamic typing. - Arthur I. Baars; S. Doaitse Swierstra (ICFP, 2002)

Generating Spreadsheet-Like Tools from Strong Attribute Grammars. - João Saraiva; S. Doaitse Swierstra (GPCE, 2003)

Scripting the type inference process. - Bastiaan Heeren; Jurriaan Hage; S. Doaitse Swierstra (ICFP, 2003)

Polish parsers, step by step. - R. John M. Hughes; S. Doaitse Swierstra (ICFP, 2003)

Factorizing fault tolerance. - I. S. W. B. Prasetya; S. Doaitse Swierstra (Theor. Comput. Sci., 2003)

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

Type-safe, self inspecting code. - Arthur I. Baars; S. Doaitse Swierstra (Haskell, 2004)

A UNITY-Based Framework Towards Component Based Systems. - I. S. W. B. Prasetya; Tanja E. J. Vos; A. Azurat; S. Doaitse Swierstra (OPODIS, 2004)

Parsing permutation phrases. - Arthur I. Baars; Andres Löh; S. Doaitse Swierstra (J. Funct. Program., 2004)

Facilitating the Verification of Diffusing Computations and Their Applications. - Tanja E. J. Vos; S. Doaitse Swierstra (CLEI Electron. J., 2005)

Formal design of self-stabilizing programs. - I. S. W. B. Prasetya; S. Doaitse Swierstra (J. High Speed Networks, 2005)

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

Web Cube. - I. S. W. B. Prasetya; Tanja E. J. Vos; S. Doaitse Swierstra (FORTE, 2006)

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

Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime. - Marcos Viera; S. Doaitse Swierstra; Eelco Lempsink (Haskell, 2008)

Combinator Parsing: A Short Tutorial. - S. Doaitse Swierstra (LerNet ALFA Summer School, 2008)

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

Abstract Interpretation of Functional Programs using an Attribute Grammar System. - Jeroen Fokker; S. Doaitse Swierstra (LDTA, 2008)

Beyond ASCII - Parsing Programs with Graphical Presentations. - Martijn M. Schrage; S. Doaitse Swierstra (J. Univers. Comput. Sci., 2008)

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

Attribute grammars fly first-class: how to do aspect oriented programming in Haskell. - Marcos Viera; S. Doaitse Swierstra; Wouter Swierstra (ICFP, 2009)

Typed transformations of typed abstract syntax. - Arthur I. Baars; S. Doaitse Swierstra; Marcos Viera (TLDI, 2009)

Typed Transformations of Typed Grammars: The Left Corner Transform. - Arthur I. Baars; S. Doaitse Swierstra; Marcos Viera (LDTA, 2009)

Linear, bounded, functional pretty-printing. - S. Doaitse Swierstra; Olaf Chitil (J. Funct. Program., 2009)

Iterative type inference with attribute grammars. - Arie Middelkoop; Atze Dijkstra; S. Doaitse Swierstra (GPCE, 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)

UUAG meets AspectAG: how to make attribute grammars first-class. - Marcos Viera; S. Doaitse Swierstra; Arie Middelkoop (LDTA, 2012)

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

Forty hours of declarative programming: Teaching Prolog at the Junior College Utrecht - Jurriën Stutterheim; Wouter Swierstra; S. Doaitse Swierstra (TFPIE, 2012)

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

First Class Syntax, Semantics, and Their Composition. - Marcos Viera; S. Doaitse Swierstra (IFL, 2013)

Expand: Towards an Extensible Pandoc System. - Jacco Krijnen; S. Doaitse Swierstra; Marcos Viera (PADL, 2014)

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

Attribute grammar macros. - Marcos Viera; S. Doaitse Swierstra (Sci. Comput. Program., 2014)

Compositional compiler construction: Oberon0. - Marcos Viera; S. Doaitse Swierstra (Sci. Comput. Program., 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)