publications:
- title: "Generalizing Hindley-Milner Type Inference Algorithms"
  author:
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2002"
  abstract: "Type inferencing according to the standard algorithms W and M often yields unin- formative error messages. Many times, this is a consequence of a bias inherent in the algorithms. The method developed here is to first collect constraints from the program, and to solve these afterwards, possibly under the influence of a heuristic. We show the soundness and completeness of our algorithm. The algorithms W and M turn out to be deterministic instances of our method, giving the correctness for W and M with respect to the Hindley-Milner typing rules for free. We also show that our algorithm is more flexible, because it naturally allows the generation of multiple messages."
  links:
    "url": "http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-031.pdf"
  researchr: "https://researchr.org/publication/HeerenHS02"
  cites: 0
  citedby: 0
  institution: "Department of Information and Computing Sciences, Utrecht University"
  number: "UU-CS-2002-031"
  kind: "techreport"
  key: "HeerenHS02"
- title: "Bottom-up Grammar Analysis - A Functional Formulation"
  author:
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "1994"
  tags:
  - "analysis"
  - "grammar"
  researchr: "https://researchr.org/publication/JeuringS94"
  cites: 0
  citedby: 0
  pages: "317-332"
  booktitle: "ESOP"
  kind: "inproceedings"
  key: "JeuringS94"
- title: "Building JavaScript Applications with Haskell"
  author:
  - name: "Atze Dijkstra"
    link: "https://researchr.org/alias/atze-dijkstra"
  - name: "Jurriën Stutterheim"
    link: "https://researchr.org/alias/jurri%C3%ABn-stutterheim"
  - name: "Alessandro Vermeulen"
    link: "https://researchr.org/alias/alessandro-vermeulen"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-41582-1_3"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-41582-1_3"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ifl/DijkstraSVS12"
  researchr: "https://researchr.org/publication/DijkstraSVS12"
  cites: 0
  citedby: 0
  pages: "37-52"
  booktitle: "IFL"
  kind: "inproceedings"
  key: "DijkstraSVS12"
- title: "Scripting the type inference process"
  author:
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/944746.944707"
  links:
    doi: "http://doi.acm.org/10.1145/944746.944707"
  tags:
  - "type inference"
  researchr: "https://researchr.org/publication/HeerenHS03-0"
  cites: 0
  citedby: 0
  journal: "SIGPLAN"
  volume: "38"
  number: "9"
  pages: "3-13"
  kind: "article"
  key: "HeerenHS03-0"
- title: "Parsing permutation phrases"
  author:
  - name: "Arthur I. Baars"
    link: "https://researchr.org/alias/arthur-i.-baars"
  - name: "Andres Löh"
    link: "http://people.cs.uu.nl/andres/"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2004"
  doi: "http://dx.doi.org/10.1017/S0956796804005143"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796804005143"
  tags:
  - "parsing"
  researchr: "https://researchr.org/publication/BaarsLS04"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "14"
  number: "6"
  pages: "635-646"
  kind: "article"
  key: "BaarsLS04"
- title: "Generating Spreadsheet-Like Tools from Strong Attribute Grammars"
  author:
  - name: "João Saraiva"
    link: "http://di.uminho.pt/~jas"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2830&spage=307"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2830&spage=307"
  tags:
  - "attribute grammars"
  - "grammar"
  researchr: "https://researchr.org/publication/SaraivaS03"
  cites: 0
  citedby: 0
  pages: "307-323"
  booktitle: "GPCE"
  kind: "inproceedings"
  key: "SaraivaS03"
- title: "Typed transformations of typed abstract syntax"
  author:
  - name: "Arthur I. Baars"
    link: "https://researchr.org/alias/arthur-i.-baars"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  - name: "Marcos Viera"
    link: "https://researchr.org/alias/marcos-viera"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1481861.1481865"
  links:
    doi: "http://doi.acm.org/10.1145/1481861.1481865"
  tags:
  - "abstract syntax"
  - "transformation"
  researchr: "https://researchr.org/publication/BaarsSV09"
  cites: 0
  citedby: 0
  pages: "15-26"
  booktitle: "tldi"
  kind: "inproceedings"
  key: "BaarsSV09"
- title: "Attribute Grammar Macros"
  author:
  - name: "Marcos Viera"
    link: "https://researchr.org/alias/marcos-viera"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-33182-4_12"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-33182-4_12"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sblp/VieraS12"
  researchr: "https://researchr.org/publication/VieraS12"
  cites: 0
  citedby: 0
  pages: "150-164"
  booktitle: "SBLP"
  kind: "inproceedings"
  key: "VieraS12"
- title: "Typing Haskell with an Attribute Grammar"
  author:
  - name: "Atze Dijkstra"
    link: "https://researchr.org/alias/atze-dijkstra"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2004"
  doi: "http://dx.doi.org/10.1007/11546382_1"
  links:
    doi: "http://dx.doi.org/10.1007/11546382_1"
  tags:
  - "attribute grammars"
  - "Haskell"
  - "grammar"
  researchr: "https://researchr.org/publication/DijkstraS04"
  cites: 0
  citedby: 0
  pages: "1-72"
  booktitle: "afp"
  kind: "inproceedings"
  key: "DijkstraS04"
- title: "Parse Your Options"
  author:
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  - name: "Atze Dijkstra"
    link: "https://researchr.org/alias/atze-dijkstra"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/978-3-642-40355-2_16"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-40355-2_16"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/birthday/SwierstraD13"
  researchr: "https://researchr.org/publication/SwierstraD13"
  cites: 0
  citedby: 0
  pages: "234-249"
  booktitle: "BIRTHDAY"
  kind: "inproceedings"
  key: "SwierstraD13"
- title: "Data Structure Free Compilation"
  author:
  - name: "João Saraiva"
    link: "http://di.uminho.pt/~jas"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "1999"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/SariavaS99"
  cites: 0
  citedby: 0
  pages: "1-16"
  booktitle: "cc"
  kind: "inproceedings"
  key: "SariavaS99"
- title: "Type-safe, self inspecting code"
  author:
  - name: "Arthur I. Baars"
    link: "https://researchr.org/alias/arthur-i.-baars"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1017472.1017485"
  links:
    doi: "http://doi.acm.org/10.1145/1017472.1017485"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/BaarsS04"
  researchr: "https://researchr.org/publication/BaarsS04"
  cites: 0
  citedby: 0
  pages: "69-79"
  booktitle: "haskell"
  kind: "inproceedings"
  key: "BaarsS04"
- title: "Parallel Attribute Evaluation: Structure of Evaluators and Detection of Parallelism"
  author:
  - name: "Matthijs F. Kuiper"
    link: "https://researchr.org/alias/matthijs-f.-kuiper"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "1990"
  researchr: "https://researchr.org/publication/KuiperS90"
  cites: 0
  citedby: 0
  pages: "61-75"
  booktitle: "waga"
  kind: "inproceedings"
  key: "KuiperS90"
- title: "Attribute grammar macros"
  author:
  - name: "Marcos Viera"
    link: "https://researchr.org/alias/marcos-viera"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2014"
  doi: "http://dx.doi.org/10.1016/j.scico.2014.01.014"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2014.01.014"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/VieraS14"
  researchr: "https://researchr.org/publication/VieraS14"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "96"
  pages: "211-229"
  kind: "article"
  key: "VieraS14"
- title: "Deterministic, Error-Correcting Combinator Parsers"
  author:
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  - name: "Luc Duponcheel"
    link: "https://researchr.org/alias/luc-duponcheel"
  year: "1996"
  tags:
  - "parsing"
  researchr: "https://researchr.org/publication/SwierstraD96"
  cites: 0
  citedby: 0
  pages: "184-207"
  booktitle: "afp"
  kind: "inproceedings"
  key: "SwierstraD96"
- title: "UUAG meets AspectAG: how to make attribute grammars first-class"
  author:
  - name: "Marcos Viera"
    link: "https://researchr.org/alias/marcos-viera"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  - name: "Arie Middelkoop"
    link: "https://researchr.org/alias/arie-middelkoop"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2427048.2427054"
  links:
    doi: "http://doi.acm.org/10.1145/2427048.2427054"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ldta/VieraSM12"
  researchr: "https://researchr.org/publication/VieraSM12"
  cites: 0
  citedby: 0
  pages: "6"
  booktitle: "LDTA"
  kind: "inproceedings"
  key: "VieraSM12"
- title: "Beyond ASCII - Parsing Programs with Graphical Presentations"
  author:
  - name: "Martijn M. Schrage"
    link: "https://researchr.org/alias/martijn-m.-schrage"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2008"
  doi: "http://www.jucs.org/jucs_14_21/beyond_ascii_parsing_programs"
  links:
    doi: "http://www.jucs.org/jucs_14_21/beyond_ascii_parsing_programs"
  tags:
  - "parsing"
  researchr: "https://researchr.org/publication/SchrageS08"
  cites: 0
  citedby: 0
  journal: "jucs"
  volume: "14"
  number: "21"
  pages: "3414-3430"
  kind: "article"
  key: "SchrageS08"
- title: "Combinator Parsers - From Toys to Tools"
  author:
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2000"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/76/33/show/Products/notes/index.htt#006"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/76/33/show/Products/notes/index.htt#006"
  tags:
  - "parsing"
  researchr: "https://researchr.org/publication/Swierstra00"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "41"
  number: "1"
  pages: "38-59"
  kind: "article"
  key: "Swierstra00"
- title: "Using Cached Functions and Constructors for Incremental Attribute Evaluation"
  author:
  - name: "Maarten Pennings"
    link: "https://researchr.org/alias/maarten-pennings"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  - name: "Harald Vogt"
    link: "https://researchr.org/alias/harald-vogt"
  year: "1992"
  tags:
  - "caching"
  - "incremental"
  researchr: "https://researchr.org/publication/PenningsSV92"
  cites: 0
  citedby: 0
  pages: "130-144"
  booktitle: "plilp"
  kind: "inproceedings"
  key: "PenningsSV92"
- title: "The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars"
  author:
  - name: "Jeroen Bransen"
    link: "https://researchr.org/alias/jeroen-bransen"
  - name: "Arie Middelkoop"
    link: "https://researchr.org/alias/arie-middelkoop"
  - name: "Atze Dijkstra"
    link: "https://researchr.org/alias/atze-dijkstra"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-27694-1_14"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-27694-1_14"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/padl/BransenMDS12"
  researchr: "https://researchr.org/publication/BransenMDS12"
  cites: 0
  citedby: 0
  pages: "183-197"
  booktitle: "PADL"
  kind: "inproceedings"
  key: "BransenMDS12"
- title: "Attribute grammars fly first-class: how to do aspect oriented programming in Haskell"
  author:
  - name: "Marcos Viera"
    link: "https://researchr.org/alias/marcos-viera"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  - name: "Wouter Swierstra"
    link: "https://researchr.org/alias/wouter-swierstra"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1596550.1596586"
  links:
    doi: "http://doi.acm.org/10.1145/1596550.1596586"
  tags:
  - "object-oriented programming"
  - "attribute grammars"
  - "Haskell"
  - "aspect oriented programming"
  - "programming"
  - "subject-oriented programming"
  - "feature-oriented programming"
  - "grammar"
  researchr: "https://researchr.org/publication/VieraSS09"
  cites: 0
  citedby: 0
  pages: "245-256"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "VieraSS09"
- title: "Attribute grammars in the functional style"
  author:
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  - name: "Pablo R. Azero Alcocer"
    link: "https://researchr.org/alias/pablo-r.-azero-alcocer"
  year: "1998"
  tags:
  - "attribute grammars"
  - "grammar"
  researchr: "https://researchr.org/publication/SwierstraA98"
  cites: 0
  citedby: 0
  pages: "180-193"
  booktitle: "ifip2-4"
  kind: "inproceedings"
  key: "SwierstraA98"
- title: "A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts"
  author:
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  - name: "Marcos Viera"
    link: "https://researchr.org/alias/marcos-viera"
  - name: "Atze Dijkstra"
    link: "https://researchr.org/alias/atze-dijkstra"
  year: "2016"
  doi: "http://doi.acm.org/10.1145/3064899.3064906"
  links:
    doi: "http://doi.acm.org/10.1145/3064899.3064906"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ifl/SwierstraVD16"
  researchr: "https://researchr.org/publication/SwierstraVD16"
  cites: 0
  citedby: 0
  booktitle: "IFL"
  kind: "inproceedings"
  key: "SwierstraVD16"
- title: "Incremental evaluation of higher-order attributes"
  author:
  - name: "Jeroen Bransen"
    link: "https://researchr.org/alias/jeroen-bransen"
  - name: "Atze Dijkstra"
    link: "https://researchr.org/alias/atze-dijkstra"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2017"
  doi: "http://dx.doi.org/10.1016/j.scico.2016.06.001"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2016.06.001"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/BransenDS17"
  researchr: "https://researchr.org/publication/BransenDS17"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "137"
  pages: "98-124"
  kind: "article"
  key: "BransenDS17"
- title: "A Memory-Management Unit for the Optimal Exploitation of a Small Address Space"
  author:
  - name: "Coenraad Bron"
    link: "https://researchr.org/alias/coenraad-bron"
  - name: "E. J. Dijkstra"
    link: "https://researchr.org/alias/e.-j.-dijkstra"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "1982"
  tags:
  - "memory management"
  - "e-science"
  researchr: "https://researchr.org/publication/BronDS82"
  cites: 0
  citedby: 0
  journal: "ipl"
  volume: "15"
  number: "1"
  pages: "20-22"
  kind: "article"
  key: "BronDS82"
- title: "First-class Attribute Grammars"
  author:
  - name: "Oege de Moor"
    link: "http://progtools.comlab.ox.ac.uk/members/oege"
  - name: "Kevin Backhouse"
    link: "https://researchr.org/alias/kevin-backhouse"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2000"
  tags:
  - "attribute grammars"
  - "grammar"
  researchr: "https://researchr.org/publication/MoorBS00"
  cites: 0
  citedby: 0
  journal: "informaticaSI"
  volume: "24"
  number: "3"
  kind: "article"
  key: "MoorBS00"
- title: "Towards the Formal Design of Self-Stabilizing Distributed Algorithms"
  author:
  - name: "P. J. A. Lentfert"
    link: "https://researchr.org/alias/p.-j.-a.-lentfert"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "1993"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/LentfertS93%3A0"
  cites: 0
  citedby: 0
  pages: "440-451"
  booktitle: "STACS"
  kind: "inproceedings"
  key: "LentfertS93:0"
- title: "Dependently Typed Attribute Grammars"
  author:
  - name: "Arie Middelkoop"
    link: "https://researchr.org/alias/arie-middelkoop"
  - name: "Atze Dijkstra"
    link: "https://researchr.org/alias/atze-dijkstra"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-24276-2_7"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-24276-2_7"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ifl/MiddelkoopDS10"
  researchr: "https://researchr.org/publication/MiddelkoopDS10-1"
  cites: 0
  citedby: 0
  pages: "105-120"
  booktitle: "IFL"
  kind: "inproceedings"
  key: "MiddelkoopDS10-1"
- title: "Combinator Parsing: A Short Tutorial"
  author:
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-642-03153-3_6"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-03153-3_6"
  tags:
  - "parsing"
  researchr: "https://researchr.org/publication/Swierstra08-0"
  cites: 0
  citedby: 0
  pages: "252-300"
  booktitle: "lernet"
  kind: "inproceedings"
  key: "Swierstra08-0"
- title: "Iterative type inference with attribute grammars"
  author:
  - name: "Arie Middelkoop"
    link: "https://researchr.org/alias/arie-middelkoop"
  - name: "Atze Dijkstra"
    link: "https://researchr.org/alias/atze-dijkstra"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1868294.1868302"
  links:
    doi: "http://doi.acm.org/10.1145/1868294.1868302"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gpce/MiddelkoopDS10"
  tags:
  - "type inference"
  - "attribute grammars"
  - "grammar"
  researchr: "https://researchr.org/publication/MiddelkoopDS10"
  cites: 0
  citedby: 0
  pages: "43-52"
  booktitle: "GPCE"
  kind: "inproceedings"
  key: "MiddelkoopDS10"
- title: "Make your Enemies Transparent"
  author:
  - name: "Tanja E. J. Vos"
    link: "https://researchr.org/alias/tanja-e.-j.-vos"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "1997"
  tags:
  - "e-science"
  researchr: "https://researchr.org/publication/VosS97"
  cites: 0
  citedby: 0
  pages: "342-353"
  booktitle: "criwg"
  kind: "inproceedings"
  key: "VosS97"
- title: "The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity"
  author:
  - name: "Atze Dijkstra"
    link: "https://researchr.org/alias/atze-dijkstra"
  - name: "Jeroen Fokker"
    link: "https://researchr.org/alias/jeroen-fokker"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-85373-2_4"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-85373-2_4"
  tags:
  - "Haskell"
  - "compiler"
  researchr: "https://researchr.org/publication/DijkstraFS07"
  cites: 0
  citedby: 0
  pages: "57-74"
  booktitle: "IFL"
  kind: "inproceedings"
  key: "DijkstraFS07"
- title: "Typing dynamic typing"
  author:
  - name: "Arthur I. Baars"
    link: "https://researchr.org/alias/arthur-i.-baars"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/581478.581494"
  links:
    doi: "http://doi.acm.org/10.1145/581478.581494"
  researchr: "https://researchr.org/publication/BaarsS02"
  cites: 0
  citedby: 0
  pages: "157-166"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "BaarsS02"
- title: "Abstract Interpretation of Functional Programs using an Attribute Grammar System"
  author:
  - name: "Jeroen Fokker"
    link: "https://researchr.org/alias/jeroen-fokker"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.09.044"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2009.09.044"
  tags:
  - "attribute grammars"
  - "functional programming"
  - "grammar"
  researchr: "https://researchr.org/publication/FokkerS09"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "238"
  number: "5"
  pages: "117-133"
  kind: "article"
  key: "FokkerS09"
- title: "Stepwise evaluation of attribute grammars"
  author:
  - name: "Arie Middelkoop"
    link: "https://researchr.org/alias/arie-middelkoop"
  - name: "Atze Dijkstra"
    link: "https://researchr.org/alias/atze-dijkstra"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/1988783.1988788"
  links:
    doi: "http://doi.acm.org/10.1145/1988783.1988788"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ldta/MiddelkoopDS11"
  tags:
  - "attribute grammars"
  - "grammar"
  researchr: "https://researchr.org/publication/MiddelkoopDS11"
  cites: 0
  citedby: 0
  pages: "5"
  booktitle: "LDTA"
  kind: "inproceedings"
  key: "MiddelkoopDS11"
- title: "Virtual Data Structures"
  author:
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  - name: "Oege de Moor"
    link: "http://progtools.comlab.ox.ac.uk/members/oege"
  year: "1993"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/SwierstraM93"
  cites: 0
  citedby: 0
  pages: "355-371"
  booktitle: "ifip2-1"
  kind: "inproceedings"
  key: "SwierstraM93"
- title: "Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime"
  author:
  - name: "Marcos Viera"
    link: "https://researchr.org/alias/marcos-viera"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  - name: "Eelco Lempsink"
    link: "https://researchr.org/alias/eelco-lempsink"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1411286.1411296"
  links:
    doi: "http://doi.acm.org/10.1145/1411286.1411296"
  tags:
  - "Haskell"
  - "parsing"
  researchr: "https://researchr.org/publication/VieraSL08"
  cites: 0
  citedby: 0
  pages: "63-74"
  booktitle: "haskell"
  kind: "inproceedings"
  key: "VieraSL08"
- title: "Visitor-based Attribute Grammars with Side Effect"
  author:
  - name: "Arie Middelkoop"
    link: "https://researchr.org/alias/arie-middelkoop"
  - name: "Atze Dijkstra"
    link: "https://researchr.org/alias/atze-dijkstra"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2011"
  doi: "http://dx.doi.org/10.1016/j.entcs.2011.06.004"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2011.06.004"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/entcs/MiddelkoopDS11"
  researchr: "https://researchr.org/publication/MiddelkoopDS11-0"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "264"
  number: "5"
  pages: "47-69"
  kind: "article"
  key: "MiddelkoopDS11-0"
- title: "Polish parsers, step by step"
  author:
  - name: "R. John M. Hughes"
    link: "https://researchr.org/alias/r.-john-m.-hughes"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/944705.944727"
  links:
    doi: "http://doi.acm.org/10.1145/944705.944727"
  tags:
  - "parsing"
  researchr: "https://researchr.org/publication/HughesS03"
  cites: 0
  citedby: 0
  pages: "239-248"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "HughesS03"
- title: "Facilitating the Verification of Diffusing Computations and Their Applications"
  author:
  - name: "Tanja E. J. Vos"
    link: "https://researchr.org/alias/tanja-e.-j.-vos"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2005"
  doi: "http://www.clei.cl/cleiej/paper.php?id=97"
  links:
    doi: "http://www.clei.cl/cleiej/paper.php?id=97"
  tags:
  - "e-science"
  researchr: "https://researchr.org/publication/VosS05%3A1"
  cites: 0
  citedby: 0
  journal: "cleiej"
  volume: "8"
  number: "1"
  kind: "article"
  key: "VosS05:1"
- title: "Grammar fragments fly first-class"
  author:
  - name: "Marcos Viera"
    link: "https://researchr.org/alias/marcos-viera"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  - name: "Atze Dijkstra"
    link: "https://researchr.org/alias/atze-dijkstra"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2427048.2427053"
  links:
    doi: "http://doi.acm.org/10.1145/2427048.2427053"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ldta/VieraSD12"
  researchr: "https://researchr.org/publication/VieraSD12"
  cites: 0
  citedby: 0
  pages: "5"
  booktitle: "LDTA"
  kind: "inproceedings"
  key: "VieraSD12"
- title: "Ruler: Programming Type Rules"
  author:
  - name: "Atze Dijkstra"
    link: "https://researchr.org/alias/atze-dijkstra"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11737414_4"
  abstract: "Some type systems are first described formally, to be sometimes followed by an implementation. Other type systems are first implemented as language extensions, to be sometimes retrofitted with a formal description. In neither case it is an easy task to keep both artefacts consistent. In this paper we introduce Ruler, a domain specific language for describing type rules. Type rules can be incrementally described, thus providing a means for building complex type systems on top of simpler ones. Besides checking well-formedness of Ruler programs we use them to generate (1) a visual LATEX rendering, suitable for use in the presentation of formal aspects, and (2) an attribute grammar based implementation. Combining these two aspects in Ruler contributes to bridging the gap between theory and practice: mutually consistent representations can be generated for use in both theoretical and practical settings."
  links:
    doi: "http://dx.doi.org/10.1007/11737414_4"
  tags:
  - "programming languages"
  - "rule-based"
  - "attribute grammars"
  - "type system"
  - "rules"
  - "type checking"
  - "programming"
  - "type theory"
  - "incremental"
  - "grammar"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/DijkstraS06"
  cites: 0
  citedby: 0
  pages: "30-46"
  booktitle: "FLOPS"
  kind: "inproceedings"
  key: "DijkstraS06"
- title: "Factorizing fault tolerance"
  author:
  - name: "I. S. W. B. Prasetya"
    link: "https://researchr.org/alias/i.-s.-w.-b.-prasetya"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2003"
  researchr: "https://researchr.org/publication/PrasetyaS03"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "290"
  number: "2"
  pages: "1201-1222"
  kind: "article"
  key: "PrasetyaS03"
- title: "A Leaner Specification for GADTs"
  author:
  - name: "Arie Middelkoop"
    link: "https://researchr.org/alias/arie-middelkoop"
  - name: "Atze Dijkstra"
    link: "https://researchr.org/alias/atze-dijkstra"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2008"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sfp/MiddelkoopDS08"
  researchr: "https://researchr.org/publication/MiddelkoopDS08"
  cites: 0
  citedby: 0
  pages: "65-80"
  booktitle: "sfp"
  kind: "inproceedings"
  key: "MiddelkoopDS08"
- title: "Incremental Evaluation of Higher Order Attributes"
  author:
  - name: "Jeroen Bransen"
    link: "https://researchr.org/alias/jeroen-bransen"
  - name: "Atze Dijkstra"
    link: "https://researchr.org/alias/atze-dijkstra"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2015"
  doi: "http://doi.acm.org/10.1145/2678015.2682541"
  links:
    doi: "http://doi.acm.org/10.1145/2678015.2682541"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pepm/BransenDS15"
  researchr: "https://researchr.org/publication/BransenDS15"
  cites: 0
  citedby: 0
  pages: "39-48"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "BransenDS15"
- title: "Polish parsers, step by step"
  author:
  - name: "R. John M. Hughes"
    link: "https://researchr.org/alias/r.-john-m.-hughes"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/944746.944727"
  links:
    doi: "http://doi.acm.org/10.1145/944746.944727"
  tags:
  - "parsing"
  researchr: "https://researchr.org/publication/HughesS03-0"
  cites: 0
  citedby: 0
  journal: "SIGPLAN"
  volume: "38"
  number: "9"
  pages: "239-248"
  kind: "article"
  key: "HughesS03-0"
- title: "Linear, bounded, functional pretty-printing"
  author:
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  - name: "Olaf Chitil"
    link: "https://researchr.org/alias/olaf-chitil"
  year: "2009"
  doi: "http://dx.doi.org/10.1017/S0956796808006990"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796808006990"
  researchr: "https://researchr.org/publication/SwierstraC09"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "19"
  number: "1"
  pages: "1-16"
  kind: "article"
  key: "SwierstraC09"
- title: "Expand: Towards an Extensible Pandoc System"
  author:
  - name: "Jacco Krijnen"
    link: "https://researchr.org/alias/jacco-krijnen"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  - name: "Marcos Viera"
    link: "https://researchr.org/alias/marcos-viera"
  year: "2014"
  doi: "http://dx.doi.org/10.1007/978-3-319-04132-2_14"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-04132-2_14"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/padl/KrijnenSV14"
  researchr: "https://researchr.org/publication/KrijnenSV14"
  cites: 0
  citedby: 0
  pages: "200-215"
  booktitle: "PADL"
  kind: "inproceedings"
  key: "KrijnenSV14"
- title: "Efficient Incremental Evaluation of Higher order Attribute Grammars"
  author:
  - name: "Harald Vogt"
    link: "https://researchr.org/alias/harald-vogt"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  - name: "Matthijs F. Kuiper"
    link: "https://researchr.org/alias/matthijs-f.-kuiper"
  year: "1991"
  doi: "https://doi.org/10.1007/3-540-54444-5_102"
  links:
    doi: "https://doi.org/10.1007/3-540-54444-5_102"
  tags:
  - "attribute grammars"
  - "incremental"
  - "grammar"
  researchr: "https://researchr.org/publication/VogtSK91"
  cites: 0
  citedby: 0
  pages: "231-242"
  booktitle: "plilp"
  kind: "inproceedings"
  key: "VogtSK91"
- title: "Typed Transformations of Typed Grammars: The Left Corner Transform"
  author:
  - name: "Arthur I. Baars"
    link: "https://researchr.org/alias/arthur-i.-baars"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  - name: "Marcos Viera"
    link: "https://researchr.org/alias/marcos-viera"
  year: "2010"
  doi: "http://dx.doi.org/10.1016/j.entcs.2010.08.031"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2010.08.031"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/entcs/BaarsSV10"
  tags:
  - "transformation"
  - "grammar"
  researchr: "https://researchr.org/publication/BaarsSV10"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "253"
  number: "7"
  pages: "51-64"
  kind: "article"
  key: "BaarsSV10"
- title: "Distributed Maximum Maintenance on Hierarchically Divided Graphs"
  author:
  - name: "P. J. A. Lentfert"
    link: "https://researchr.org/alias/p.-j.-a.-lentfert"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "1993"
  tags:
  - "graph-rewriting"
  - "maintenance"
  - "rewriting"
  researchr: "https://researchr.org/publication/LentfertS93"
  cites: 0
  citedby: 0
  journal: "fac"
  volume: "5"
  number: "1"
  pages: "21-60"
  kind: "article"
  key: "LentfertS93"
- title: "First Class Syntax, Semantics, and Their Composition"
  author:
  - name: "Marcos Viera"
    link: "https://researchr.org/alias/marcos-viera"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2620678.2620686"
  links:
    doi: "http://doi.acm.org/10.1145/2620678.2620686"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ifl/VieraS13"
  researchr: "https://researchr.org/publication/VieraS13"
  cites: 0
  citedby: 0
  pages: "73"
  booktitle: "IFL"
  kind: "inproceedings"
  key: "VieraS13"
- title: "Compositional compiler construction: Oberon0"
  author:
  - name: "Marcos Viera"
    link: "https://researchr.org/alias/marcos-viera"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2015"
  doi: "http://dx.doi.org/10.1016/j.scico.2015.10.008"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2015.10.008"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/VieraS15"
  researchr: "https://researchr.org/publication/VieraS15"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "114"
  pages: "45-56"
  kind: "article"
  key: "VieraS15"
- title: "Designing and Implementing Combinator Languages"
  author:
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  - name: "Pablo R. Azero Alcocer"
    link: "https://researchr.org/alias/pablo-r.-azero-alcocer"
  - name: "João Saraiva"
    link: "http://di.uminho.pt/~jas"
  year: "1998"
  researchr: "https://researchr.org/publication/SwierstraAS98"
  cites: 0
  citedby: 0
  pages: "150-206"
  booktitle: "afp"
  kind: "inproceedings"
  key: "SwierstraAS98"
- title: "Formal design of self-stabilizing programs"
  author:
  - name: "I. S. W. B. Prasetya"
    link: "https://researchr.org/alias/i.-s.-w.-b.-prasetya"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2005"
  doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0926-6801&volume=14&issue=1&spage=59"
  links:
    doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0926-6801&volume=14&issue=1&spage=59"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/PrasetyaS05"
  cites: 0
  citedby: 0
  journal: "jhsn"
  volume: "14"
  number: "1"
  pages: "59-83"
  kind: "article"
  key: "PrasetyaS05"
- title: "Smart cabling: an overview"
  author:
  - name: "A. H. Uittenbogaard"
    link: "https://researchr.org/alias/a.-h.-uittenbogaard"
  - name: "P. J. A. Lentfert"
    link: "https://researchr.org/alias/p.-j.-a.-lentfert"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "1990"
  doi: "http://doi.acm.org/10.1145/504136.504181"
  links:
    doi: "http://doi.acm.org/10.1145/504136.504181"
  researchr: "https://researchr.org/publication/UittenbogaardLS90"
  cites: 0
  citedby: 0
  booktitle: "sigopsE"
  kind: "inproceedings"
  key: "UittenbogaardLS90"
- title: "Functional Incremental Attribute Evaluation"
  author:
  - name: "João Saraiva"
    link: "http://di.uminho.pt/~jas"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  - name: "Matthijs F. Kuiper"
    link: "https://researchr.org/alias/matthijs-f.-kuiper"
  year: "2000"
  doi: "https://doi.org/10.1007/3-540-46423-9_19"
  links:
    doi: "https://doi.org/10.1007/3-540-46423-9_19"
  tags:
  - "incremental"
  researchr: "https://researchr.org/publication/SaraivaSK00"
  cites: 0
  citedby: 0
  pages: "279-294"
  booktitle: "cc"
  kind: "inproceedings"
  key: "SaraivaSK00"
- title: "Scripting the type inference process"
  author:
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/944705.944707"
  links:
    doi: "http://doi.acm.org/10.1145/944705.944707"
  tags:
  - "type inference"
  researchr: "https://researchr.org/publication/HeerenHS03"
  cites: 0
  citedby: 0
  pages: "3-13"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "HeerenHS03"
- title: "A UNITY-Based Framework Towards Component Based Systems"
  author:
  - name: "I. S. W. B. Prasetya"
    link: "https://researchr.org/alias/i.-s.-w.-b.-prasetya"
  - name: "Tanja E. J. Vos"
    link: "https://researchr.org/alias/tanja-e.-j.-vos"
  - name: "A. Azurat"
    link: "https://researchr.org/alias/a.-azurat"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2004"
  doi: "http://dx.doi.org/10.1007/11516798_4"
  links:
    doi: "http://dx.doi.org/10.1007/11516798_4"
  tags:
  - "rule-based"
  - "e-science"
  researchr: "https://researchr.org/publication/PrasetyaVAS04"
  cites: 0
  citedby: 0
  pages: "52-66"
  booktitle: "opodis"
  kind: "inproceedings"
  key: "PrasetyaVAS04"
- title: "Iterative Type Inference with Attribute Grammars"
  author:
  - name: "Arie Middelkoop"
    link: "https://researchr.org/alias/arie-middelkoop"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  - name: "Atze Dijkstra"
    link: "https://researchr.org/alias/atze-dijkstra"
  year: "2010"
  tags:
  - "type inference"
  - "attribute grammars"
  - "grammar"
  researchr: "https://researchr.org/publication/Middelkoop-GPCE-2010"
  cites: 0
  citedby: 0
  booktitle: "GPCE"
  kind: "inproceedings"
  key: "Middelkoop-GPCE-2010"
- title: "A lean specification for GADTs: system F with first-class equality proofs"
  author:
  - name: "Arie Middelkoop"
    link: "https://researchr.org/alias/arie-middelkoop"
  - name: "Atze Dijkstra"
    link: "https://researchr.org/alias/atze-dijkstra"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/s10990-011-9065-0"
  links:
    doi: "http://dx.doi.org/10.1007/s10990-011-9065-0"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/lisp/MiddelkoopDS10"
  researchr: "https://researchr.org/publication/MiddelkoopDS10-0"
  cites: 0
  citedby: 0
  journal: "lisp"
  volume: "23"
  number: "2"
  pages: "145-166"
  kind: "article"
  key: "MiddelkoopDS10-0"
- title: "The architecture of the Utrecht Haskell compiler"
  author:
  - name: "Atze Dijkstra"
    link: "https://researchr.org/alias/atze-dijkstra"
  - name: "Jeroen Fokker"
    link: "https://researchr.org/alias/jeroen-fokker"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1596638.1596650"
  links:
    doi: "http://doi.acm.org/10.1145/1596638.1596650"
  tags:
  - "architecture"
  - "Haskell"
  - "compiler"
  researchr: "https://researchr.org/publication/DijkstraFS09"
  cites: 0
  citedby: 0
  pages: "93-104"
  booktitle: "haskell"
  kind: "inproceedings"
  key: "DijkstraFS09"
- title: "Higher-Order Attribute Grammars"
  author:
  - name: "Harald Vogt"
    link: "https://researchr.org/alias/harald-vogt"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  - name: "Matthijs F. Kuiper"
    link: "https://researchr.org/alias/matthijs-f.-kuiper"
  year: "1989"
  tags:
  - "attribute grammars"
  - "grammar"
  researchr: "https://researchr.org/publication/VogtSK89"
  cites: 0
  citedby: 1
  pages: "131-145"
  booktitle: "PLDI"
  kind: "inproceedings"
  key: "VogtSK89"
- title: "Lazy stateless incremental evaluation machinery for attribute grammars"
  author:
  - name: "Jeroen Bransen"
    link: "https://researchr.org/alias/jeroen-bransen"
  - name: "Atze Dijkstra"
    link: "https://researchr.org/alias/atze-dijkstra"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2014"
  doi: "http://doi.acm.org/10.1145/2543728.2543735"
  links:
    doi: "http://doi.acm.org/10.1145/2543728.2543735"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pepm/BransenDS14"
  researchr: "https://researchr.org/publication/BransenDS14"
  cites: 0
  citedby: 0
  pages: "145-156"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "BransenDS14"
- title: "Constructing Functional Programs for Grammar Analysis Problems"
  author:
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "1995"
  tags:
  - "program analysis"
  - "functional programming"
  - "analysis"
  - "grammar"
  researchr: "https://researchr.org/publication/JeuringS95"
  cites: 0
  citedby: 0
  pages: "259-269"
  booktitle: "fpca"
  kind: "inproceedings"
  key: "JeuringS95"
- title: "Web Cube"
  author:
  - name: "I. S. W. B. Prasetya"
    link: "https://researchr.org/alias/i.-s.-w.-b.-prasetya"
  - name: "Tanja E. J. Vos"
    link: "https://researchr.org/alias/tanja-e.-j.-vos"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11888116_6"
  links:
    doi: "http://dx.doi.org/10.1007/11888116_6"
  tags:
  - "web science"
  - "e-science"
  researchr: "https://researchr.org/publication/PrasetyaVS06"
  cites: 0
  citedby: 0
  pages: "77-92"
  booktitle: "forte"
  kind: "inproceedings"
  key: "PrasetyaVS06"
- title: "Fast, Error Correcting Parser Combinatiors: A Short Tutorial"
  author:
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  - name: "Pablo R. Azero Alcocer"
    link: "https://researchr.org/alias/pablo-r.-azero-alcocer"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1725/17250112.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1725/17250112.htm"
  tags:
  - "parsing"
  researchr: "https://researchr.org/publication/SwierstraA99"
  cites: 0
  citedby: 0
  pages: "112-131"
  booktitle: "sofsem"
  kind: "inproceedings"
  key: "SwierstraA99"
- title: "Higher Order Attribute Grammars"
  author:
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  - name: "Harald Vogt"
    link: "https://researchr.org/alias/harald-vogt"
  year: "1991"
  tags:
  - "attribute grammars"
  - "grammar"
  researchr: "https://researchr.org/publication/SwierstraV91"
  cites: 0
  citedby: 0
  pages: "256-296"
  booktitle: "saga"
  kind: "inproceedings"
  key: "SwierstraV91"
- title: "Advanced Functional Programming, 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-04652-0"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-04652-0"
  tags:
  - "functional programming"
  - "programming"
  researchr: "https://researchr.org/publication/afp-2008"
  cites: 0
  citedby: 0
  booktitle: "Advanced Functional Programming, 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures"
  conference: "afp"
  editor:
  - name: "Pieter W. M. Koopman"
    link: "https://researchr.org/alias/pieter-w.-m.-koopman"
  - name: "Rinus Plasmeijer"
    link: "https://researchr.org/alias/rinus-plasmeijer"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  volume: "5832"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-04651-3"
  kind: "proceedings"
  key: "afp-2008"
- title: "Programming Languages - 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings"
  year: "2015"
  doi: "http://dx.doi.org/10.1007/978-3-319-24012-1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-24012-1"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sblp/2015"
  researchr: "https://researchr.org/publication/sblp-2015"
  cites: 0
  citedby: 0
  booktitle: "Programming Languages - 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings"
  conference: "SBLP"
  editor:
  - name: "Alberto Pardo"
    link: "https://researchr.org/alias/alberto-pardo"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  volume: "9325"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-319-24011-4"
  kind: "proceedings"
  key: "sblp-2015"
- title: "Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP 95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings"
  year: "1995"
  tags:
  - "programming languages"
  - "logic programming"
  - "programming"
  - "logic"
  researchr: "https://researchr.org/publication/plilp%3A95"
  cites: 0
  citedby: 0
  booktitle: "Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP 95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings"
  conference: "plilp"
  editor:
  - name: "Manuel V. Hermenegildo"
    link: "https://researchr.org/alias/manuel-v.-hermenegildo"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  volume: "982"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60359-X"
  kind: "proceedings"
  key: "plilp:95"
- title: "Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP 96, Aachen, Germany, September 24-27, 1996, Proceedings"
  year: "1996"
  tags:
  - "programming languages"
  - "logic programming"
  - "programming"
  - "logic"
  researchr: "https://researchr.org/publication/plilp%3A1996"
  cites: 0
  citedby: 0
  booktitle: "Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP 96, Aachen, Germany, September 24-27, 1996, Proceedings"
  conference: "plilp"
  editor:
  - name: "Herbert Kuchen"
    link: "https://researchr.org/alias/herbert-kuchen"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  volume: "1140"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61756-6"
  kind: "proceedings"
  key: "plilp:1996"
- title: "Advanced Functional Programming, Third International School, Braga, Portugal, September 12-19, 1998, Revised Lectures"
  year: "1999"
  tags:
  - "functional programming"
  - "programming"
  researchr: "https://researchr.org/publication/afp%3A98"
  cites: 0
  citedby: 0
  booktitle: "Advanced Functional Programming, Third International School, Braga, Portugal, September 12-19, 1998, Revised Lectures"
  conference: "afp"
  editor:
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  - name: "Pedro Rangel Henriques"
    link: "https://researchr.org/alias/pedro-rangel-henriques"
  - name: "José N. Oliveira"
    link: "https://researchr.org/alias/jos%C3%A9-n.-oliveira"
  volume: "1608"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66241-3"
  kind: "proceedings"
  key: "afp:98"
- title: "Programming Languages and Systems, 8th European Symposium on Programming, ESOP 99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings"
  year: "1999"
  tags:
  - "programming languages"
  - "programming"
  researchr: "https://researchr.org/publication/esop%3A1999"
  cites: 0
  citedby: 0
  booktitle: "Programming Languages and Systems, 8th European Symposium on Programming, ESOP 99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings"
  conference: "ESOP"
  editor:
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  volume: "1576"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65699-5"
  kind: "proceedings"
  key: "esop:1999"