@techreport{HeerenHS02,
  title = {Generalizing Hindley-Milner Type Inference Algorithms},
  author = {Bastiaan Heeren and Jurriaan Hage and S. Doaitse Swierstra},
  year = {2002},
  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},
}

@inproceedings{JeuringS94,
  title = {Bottom-up Grammar Analysis - A Functional Formulation},
  author = {Johan  Jeuring and S. Doaitse Swierstra},
  year = {1994},
  tags = {analysis, grammar},
  researchr = {https://researchr.org/publication/JeuringS94},
  cites = {0},
  citedby = {0},
  pages = {317-332},
  booktitle = {ESOP},
}

@inproceedings{DijkstraSVS12,
  title = {Building JavaScript Applications with Haskell},
  author = {Atze Dijkstra and Jurriën Stutterheim and Alessandro Vermeulen and S. Doaitse Swierstra},
  year = {2012},
  doi = {10.1007/978-3-642-41582-1_3},
  url = {http://dx.doi.org/10.1007/978-3-642-41582-1_3},
  researchr = {https://researchr.org/publication/DijkstraSVS12},
  cites = {0},
  citedby = {0},
  pages = {37-52},
  booktitle = {IFL},
}

@article{HeerenHS03-0,
  title = {Scripting the type inference process},
  author = {Bastiaan Heeren and Jurriaan Hage and S. Doaitse Swierstra},
  year = {2003},
  doi = {10.1145/944746.944707},
  url = {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},
}

@article{BaarsLS04,
  title = {Parsing permutation phrases},
  author = {Arthur I. Baars and Andres Löh and S. Doaitse Swierstra},
  year = {2004},
  doi = {10.1017/S0956796804005143},
  url = {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},
}

@inproceedings{SaraivaS03,
  title = {Generating Spreadsheet-Like Tools from Strong Attribute Grammars},
  author = {João Saraiva and S. Doaitse Swierstra},
  year = {2003},
  url = {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},
}

@inproceedings{BaarsSV09,
  title = {Typed transformations of typed abstract syntax},
  author = {Arthur I. Baars and S. Doaitse Swierstra and Marcos Viera},
  year = {2009},
  doi = {10.1145/1481861.1481865},
  url = {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},
}

@inproceedings{VieraS12,
  title = {Attribute Grammar Macros},
  author = {Marcos Viera and S. Doaitse Swierstra},
  year = {2012},
  doi = {10.1007/978-3-642-33182-4_12},
  url = {http://dx.doi.org/10.1007/978-3-642-33182-4_12},
  researchr = {https://researchr.org/publication/VieraS12},
  cites = {0},
  citedby = {0},
  pages = {150-164},
  booktitle = {SBLP},
}

@inproceedings{DijkstraS04,
  title = {Typing Haskell with an Attribute Grammar},
  author = {Atze Dijkstra and S. Doaitse Swierstra},
  year = {2004},
  doi = {10.1007/11546382_1},
  url = {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},
}

@inproceedings{SwierstraD13,
  title = {Parse Your Options},
  author = {S. Doaitse Swierstra and Atze Dijkstra},
  year = {2013},
  doi = {10.1007/978-3-642-40355-2_16},
  url = {http://dx.doi.org/10.1007/978-3-642-40355-2_16},
  researchr = {https://researchr.org/publication/SwierstraD13},
  cites = {0},
  citedby = {0},
  pages = {234-249},
  booktitle = {BIRTHDAY},
}

@inproceedings{SariavaS99,
  title = {Data Structure Free Compilation},
  author = {João Saraiva and S. Doaitse Swierstra},
  year = {1999},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/SariavaS99},
  cites = {0},
  citedby = {0},
  pages = {1-16},
  booktitle = {cc},
}

@inproceedings{BaarsS04,
  title = {Type-safe, self inspecting code},
  author = {Arthur I. Baars and S. Doaitse Swierstra},
  year = {2004},
  doi = {10.1145/1017472.1017485},
  url = {http://doi.acm.org/10.1145/1017472.1017485},
  researchr = {https://researchr.org/publication/BaarsS04},
  cites = {0},
  citedby = {0},
  pages = {69-79},
  booktitle = {haskell},
}

@inproceedings{KuiperS90,
  title = {Parallel Attribute Evaluation: Structure of Evaluators and Detection of Parallelism},
  author = {Matthijs F. Kuiper and S. Doaitse Swierstra},
  year = {1990},
  researchr = {https://researchr.org/publication/KuiperS90},
  cites = {0},
  citedby = {0},
  pages = {61-75},
  booktitle = {waga},
}

@article{VieraS14,
  title = {Attribute grammar macros},
  author = {Marcos Viera and S. Doaitse Swierstra},
  year = {2014},
  doi = {10.1016/j.scico.2014.01.014},
  url = {http://dx.doi.org/10.1016/j.scico.2014.01.014},
  researchr = {https://researchr.org/publication/VieraS14},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {96},
  pages = {211-229},
}

@inproceedings{SwierstraD96,
  title = {Deterministic, Error-Correcting Combinator Parsers},
  author = {S. Doaitse Swierstra and Luc Duponcheel},
  year = {1996},
  tags = {parsing},
  researchr = {https://researchr.org/publication/SwierstraD96},
  cites = {0},
  citedby = {0},
  pages = {184-207},
  booktitle = {afp},
}

@inproceedings{VieraSM12,
  title = {UUAG meets AspectAG: how to make attribute grammars first-class},
  author = {Marcos Viera and S. Doaitse Swierstra and Arie Middelkoop},
  year = {2012},
  doi = {10.1145/2427048.2427054},
  url = {http://doi.acm.org/10.1145/2427048.2427054},
  researchr = {https://researchr.org/publication/VieraSM12},
  cites = {0},
  citedby = {0},
  pages = {6},
  booktitle = {LDTA},
}

@article{SchrageS08,
  title = {Beyond ASCII - Parsing Programs with Graphical Presentations},
  author = {Martijn M. Schrage and S. Doaitse Swierstra},
  year = {2008},
  url = {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},
}

@article{Swierstra00,
  title = {Combinator Parsers - From Toys to Tools},
  author = {S. Doaitse Swierstra},
  year = {2000},
  url = {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},
}

@inproceedings{PenningsSV92,
  title = {Using Cached Functions and Constructors for Incremental Attribute Evaluation},
  author = {Maarten Pennings and S. Doaitse Swierstra and Harald Vogt},
  year = {1992},
  tags = {caching, incremental},
  researchr = {https://researchr.org/publication/PenningsSV92},
  cites = {0},
  citedby = {0},
  pages = {130-144},
  booktitle = {plilp},
}

@inproceedings{BransenMDS12,
  title = {The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars},
  author = {Jeroen Bransen and Arie Middelkoop and Atze Dijkstra and S. Doaitse Swierstra},
  year = {2012},
  doi = {10.1007/978-3-642-27694-1_14},
  url = {http://dx.doi.org/10.1007/978-3-642-27694-1_14},
  researchr = {https://researchr.org/publication/BransenMDS12},
  cites = {0},
  citedby = {0},
  pages = {183-197},
  booktitle = {PADL},
}

@inproceedings{VieraSS09,
  title = {Attribute grammars fly first-class: how to do aspect oriented programming in Haskell},
  author = {Marcos Viera and S. Doaitse Swierstra and Wouter Swierstra},
  year = {2009},
  doi = {10.1145/1596550.1596586},
  url = {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},
}

@inproceedings{SwierstraA98,
  title = {Attribute grammars in the functional style},
  author = {S. Doaitse Swierstra and 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},
}

@inproceedings{SwierstraVD16,
  title = {A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts},
  author = {S. Doaitse Swierstra and Marcos Viera and Atze Dijkstra},
  year = {2016},
  doi = {10.1145/3064899.3064906},
  url = {http://doi.acm.org/10.1145/3064899.3064906},
  researchr = {https://researchr.org/publication/SwierstraVD16},
  cites = {0},
  citedby = {0},
  booktitle = {IFL},
}

@article{BransenDS17,
  title = {Incremental evaluation of higher-order attributes},
  author = {Jeroen Bransen and Atze Dijkstra and S. Doaitse Swierstra},
  year = {2017},
  doi = {10.1016/j.scico.2016.06.001},
  url = {http://dx.doi.org/10.1016/j.scico.2016.06.001},
  researchr = {https://researchr.org/publication/BransenDS17},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {137},
  pages = {98-124},
}

@article{BronDS82,
  title = {A Memory-Management Unit for the Optimal Exploitation of a Small Address Space},
  author = {Coenraad Bron and E. J. Dijkstra and S. Doaitse Swierstra},
  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},
}

@article{MoorBS00,
  title = {First-class Attribute Grammars},
  author = {Oege de Moor and Kevin Backhouse and S. Doaitse Swierstra},
  year = {2000},
  tags = {attribute grammars, grammar},
  researchr = {https://researchr.org/publication/MoorBS00},
  cites = {0},
  citedby = {0},
  journal = {informaticaSI},
  volume = {24},
  number = {3},
}

@inproceedings{LentfertS93:0,
  title = {Towards the Formal Design of Self-Stabilizing Distributed Algorithms},
  author = {P. J. A. Lentfert and S. Doaitse Swierstra},
  year = {1993},
  tags = {design},
  researchr = {https://researchr.org/publication/LentfertS93%3A0},
  cites = {0},
  citedby = {0},
  pages = {440-451},
  booktitle = {STACS},
}

@inproceedings{MiddelkoopDS10-1,
  title = {Dependently Typed Attribute Grammars},
  author = {Arie Middelkoop and Atze Dijkstra and S. Doaitse Swierstra},
  year = {2010},
  doi = {10.1007/978-3-642-24276-2_7},
  url = {http://dx.doi.org/10.1007/978-3-642-24276-2_7},
  researchr = {https://researchr.org/publication/MiddelkoopDS10-1},
  cites = {0},
  citedby = {0},
  pages = {105-120},
  booktitle = {IFL},
}

@inproceedings{Swierstra08-0,
  title = {Combinator Parsing: A Short Tutorial},
  author = {S. Doaitse Swierstra},
  year = {2008},
  doi = {10.1007/978-3-642-03153-3_6},
  url = {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},
}

@inproceedings{MiddelkoopDS10,
  title = {Iterative type inference with attribute grammars},
  author = {Arie Middelkoop and Atze Dijkstra and S. Doaitse Swierstra},
  year = {2010},
  doi = {10.1145/1868294.1868302},
  url = {http://doi.acm.org/10.1145/1868294.1868302},
  tags = {type inference, attribute grammars, grammar},
  researchr = {https://researchr.org/publication/MiddelkoopDS10},
  cites = {0},
  citedby = {0},
  pages = {43-52},
  booktitle = {GPCE},
}

@inproceedings{VosS97,
  title = {Make your Enemies Transparent},
  author = {Tanja E. J. Vos and S. Doaitse Swierstra},
  year = {1997},
  tags = {e-science},
  researchr = {https://researchr.org/publication/VosS97},
  cites = {0},
  citedby = {0},
  pages = {342-353},
  booktitle = {criwg},
}

@inproceedings{DijkstraFS07,
  title = {The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity},
  author = {Atze Dijkstra and Jeroen Fokker and S. Doaitse Swierstra},
  year = {2007},
  doi = {10.1007/978-3-540-85373-2_4},
  url = {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},
}

@inproceedings{BaarsS02,
  title = {Typing dynamic typing},
  author = {Arthur I. Baars and S. Doaitse Swierstra},
  year = {2002},
  doi = {10.1145/581478.581494},
  url = {http://doi.acm.org/10.1145/581478.581494},
  researchr = {https://researchr.org/publication/BaarsS02},
  cites = {0},
  citedby = {0},
  pages = {157-166},
  booktitle = {ICFP},
}

@article{FokkerS09,
  title = {Abstract Interpretation of Functional Programs using an Attribute Grammar System},
  author = {Jeroen Fokker and S. Doaitse Swierstra},
  year = {2009},
  doi = {10.1016/j.entcs.2009.09.044},
  url = {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},
}

@inproceedings{MiddelkoopDS11,
  title = {Stepwise evaluation of attribute grammars},
  author = {Arie Middelkoop and Atze Dijkstra and S. Doaitse Swierstra},
  year = {2011},
  doi = {10.1145/1988783.1988788},
  url = {http://doi.acm.org/10.1145/1988783.1988788},
  tags = {attribute grammars, grammar},
  researchr = {https://researchr.org/publication/MiddelkoopDS11},
  cites = {0},
  citedby = {0},
  pages = {5},
  booktitle = {LDTA},
}

@inproceedings{SwierstraM93,
  title = {Virtual Data Structures},
  author = {S. Doaitse Swierstra and Oege de Moor},
  year = {1993},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/SwierstraM93},
  cites = {0},
  citedby = {0},
  pages = {355-371},
  booktitle = {ifip2-1},
}

@inproceedings{VieraSL08,
  title = {Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime},
  author = {Marcos Viera and S. Doaitse Swierstra and Eelco Lempsink},
  year = {2008},
  doi = {10.1145/1411286.1411296},
  url = {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},
}

@article{MiddelkoopDS11-0,
  title = {Visitor-based Attribute Grammars with Side Effect},
  author = {Arie Middelkoop and Atze Dijkstra and S. Doaitse Swierstra},
  year = {2011},
  doi = {10.1016/j.entcs.2011.06.004},
  url = {http://dx.doi.org/10.1016/j.entcs.2011.06.004},
  researchr = {https://researchr.org/publication/MiddelkoopDS11-0},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {264},
  number = {5},
  pages = {47-69},
}

@inproceedings{HughesS03,
  title = {Polish parsers, step by step},
  author = {R. John M. Hughes and S. Doaitse Swierstra},
  year = {2003},
  doi = {10.1145/944705.944727},
  url = {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},
}

@article{VosS05:1,
  title = {Facilitating the Verification of Diffusing Computations and Their Applications},
  author = {Tanja E. J. Vos and S. Doaitse Swierstra},
  year = {2005},
  url = {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},
}

@inproceedings{VieraSD12,
  title = {Grammar fragments fly first-class},
  author = {Marcos Viera and S. Doaitse Swierstra and Atze Dijkstra},
  year = {2012},
  doi = {10.1145/2427048.2427053},
  url = {http://doi.acm.org/10.1145/2427048.2427053},
  researchr = {https://researchr.org/publication/VieraSD12},
  cites = {0},
  citedby = {0},
  pages = {5},
  booktitle = {LDTA},
}

@inproceedings{DijkstraS06,
  title = {Ruler: Programming Type Rules},
  author = {Atze Dijkstra and S. Doaitse Swierstra},
  year = {2006},
  doi = {10.1007/11737414_4},
  url = {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},
}

@article{PrasetyaS03,
  title = {Factorizing fault tolerance},
  author = {I. S. W. B. Prasetya and S. Doaitse Swierstra},
  year = {2003},
  researchr = {https://researchr.org/publication/PrasetyaS03},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {290},
  number = {2},
  pages = {1201-1222},
}

@inproceedings{MiddelkoopDS08,
  title = {A Leaner Specification for GADTs},
  author = {Arie Middelkoop and Atze Dijkstra and S. Doaitse Swierstra},
  year = {2008},
  researchr = {https://researchr.org/publication/MiddelkoopDS08},
  cites = {0},
  citedby = {0},
  pages = {65-80},
  booktitle = {sfp},
}

@inproceedings{BransenDS15,
  title = {Incremental Evaluation of Higher Order Attributes},
  author = {Jeroen Bransen and Atze Dijkstra and S. Doaitse Swierstra},
  year = {2015},
  doi = {10.1145/2678015.2682541},
  url = {http://doi.acm.org/10.1145/2678015.2682541},
  researchr = {https://researchr.org/publication/BransenDS15},
  cites = {0},
  citedby = {0},
  pages = {39-48},
  booktitle = {PEPM},
}

@article{HughesS03-0,
  title = {Polish parsers, step by step},
  author = {R. John M. Hughes and S. Doaitse Swierstra},
  year = {2003},
  doi = {10.1145/944746.944727},
  url = {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},
}

@article{SwierstraC09,
  title = {Linear, bounded, functional pretty-printing},
  author = {S. Doaitse Swierstra and Olaf Chitil},
  year = {2009},
  doi = {10.1017/S0956796808006990},
  url = {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},
}

@inproceedings{KrijnenSV14,
  title = {Expand: Towards an Extensible Pandoc System},
  author = {Jacco Krijnen and S. Doaitse Swierstra and Marcos Viera},
  year = {2014},
  doi = {10.1007/978-3-319-04132-2_14},
  url = {http://dx.doi.org/10.1007/978-3-319-04132-2_14},
  researchr = {https://researchr.org/publication/KrijnenSV14},
  cites = {0},
  citedby = {0},
  pages = {200-215},
  booktitle = {PADL},
}

@inproceedings{VogtSK91,
  title = {Efficient Incremental Evaluation of Higher order Attribute Grammars},
  author = {Harald Vogt and S. Doaitse Swierstra and Matthijs F. Kuiper},
  year = {1991},
  doi = {10.1007/3-540-54444-5_102},
  url = {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},
}

@article{BaarsSV10,
  title = {Typed Transformations of Typed Grammars: The Left Corner Transform},
  author = {Arthur I. Baars and S. Doaitse Swierstra and Marcos Viera},
  year = {2010},
  doi = {10.1016/j.entcs.2010.08.031},
  url = {http://dx.doi.org/10.1016/j.entcs.2010.08.031},
  tags = {transformation, grammar},
  researchr = {https://researchr.org/publication/BaarsSV10},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {253},
  number = {7},
  pages = {51-64},
}

@article{LentfertS93,
  title = {Distributed Maximum Maintenance on Hierarchically Divided Graphs},
  author = {P. J. A. Lentfert and S. Doaitse Swierstra},
  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},
}

@inproceedings{VieraS13,
  title = {First Class Syntax, Semantics, and Their Composition},
  author = {Marcos Viera and S. Doaitse Swierstra},
  year = {2013},
  doi = {10.1145/2620678.2620686},
  url = {http://doi.acm.org/10.1145/2620678.2620686},
  researchr = {https://researchr.org/publication/VieraS13},
  cites = {0},
  citedby = {0},
  pages = {73},
  booktitle = {IFL},
}

@article{VieraS15,
  title = {Compositional compiler construction: Oberon0},
  author = {Marcos Viera and S. Doaitse Swierstra},
  year = {2015},
  doi = {10.1016/j.scico.2015.10.008},
  url = {http://dx.doi.org/10.1016/j.scico.2015.10.008},
  researchr = {https://researchr.org/publication/VieraS15},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {114},
  pages = {45-56},
}

@inproceedings{SwierstraAS98,
  title = {Designing and Implementing Combinator Languages},
  author = {S. Doaitse Swierstra and Pablo R. Azero Alcocer and João Saraiva},
  year = {1998},
  researchr = {https://researchr.org/publication/SwierstraAS98},
  cites = {0},
  citedby = {0},
  pages = {150-206},
  booktitle = {afp},
}

@article{PrasetyaS05,
  title = {Formal design of self-stabilizing programs},
  author = {I. S. W. B. Prasetya and S. Doaitse Swierstra},
  year = {2005},
  url = {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},
}

@inproceedings{UittenbogaardLS90,
  title = {Smart cabling: an overview},
  author = {A. H. Uittenbogaard and P. J. A. Lentfert and S. Doaitse Swierstra},
  year = {1990},
  doi = {10.1145/504136.504181},
  url = {http://doi.acm.org/10.1145/504136.504181},
  researchr = {https://researchr.org/publication/UittenbogaardLS90},
  cites = {0},
  citedby = {0},
  booktitle = {sigopsE},
}

@inproceedings{SaraivaSK00,
  title = {Functional Incremental Attribute Evaluation},
  author = {João Saraiva and S. Doaitse Swierstra and Matthijs F. Kuiper},
  year = {2000},
  doi = {10.1007/3-540-46423-9_19},
  url = {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},
}

@inproceedings{HeerenHS03,
  title = {Scripting the type inference process},
  author = {Bastiaan Heeren and Jurriaan Hage and S. Doaitse Swierstra},
  year = {2003},
  doi = {10.1145/944705.944707},
  url = {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},
}

@inproceedings{PrasetyaVAS04,
  title = {A UNITY-Based Framework Towards Component Based Systems},
  author = {I. S. W. B. Prasetya and Tanja E. J. Vos and A. Azurat and S. Doaitse Swierstra},
  year = {2004},
  doi = {10.1007/11516798_4},
  url = {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},
}

@inproceedings{Middelkoop-GPCE-2010,
  title = {Iterative Type Inference with Attribute Grammars},
  author = {Arie Middelkoop and S. Doaitse Swierstra and Atze Dijkstra},
  year = {2010},
  tags = {type inference, attribute grammars, grammar},
  researchr = {https://researchr.org/publication/Middelkoop-GPCE-2010},
  cites = {0},
  citedby = {0},
  booktitle = {GPCE},
}

@article{MiddelkoopDS10-0,
  title = {A lean specification for GADTs: system F with first-class equality proofs},
  author = {Arie Middelkoop and Atze Dijkstra and S. Doaitse Swierstra},
  year = {2010},
  doi = {10.1007/s10990-011-9065-0},
  url = {http://dx.doi.org/10.1007/s10990-011-9065-0},
  researchr = {https://researchr.org/publication/MiddelkoopDS10-0},
  cites = {0},
  citedby = {0},
  journal = {lisp},
  volume = {23},
  number = {2},
  pages = {145-166},
}

@inproceedings{DijkstraFS09,
  title = {The architecture of the Utrecht Haskell compiler},
  author = {Atze Dijkstra and Jeroen Fokker and S. Doaitse Swierstra},
  year = {2009},
  doi = {10.1145/1596638.1596650},
  url = {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},
}

@inproceedings{VogtSK89,
  title = {Higher-Order Attribute Grammars},
  author = {Harald Vogt and S. Doaitse Swierstra and Matthijs F. Kuiper},
  year = {1989},
  tags = {attribute grammars, grammar},
  researchr = {https://researchr.org/publication/VogtSK89},
  cites = {0},
  citedby = {1},
  pages = {131-145},
  booktitle = {PLDI},
}

@inproceedings{BransenDS14,
  title = {Lazy stateless incremental evaluation machinery for attribute grammars},
  author = {Jeroen Bransen and Atze Dijkstra and S. Doaitse Swierstra},
  year = {2014},
  doi = {10.1145/2543728.2543735},
  url = {http://doi.acm.org/10.1145/2543728.2543735},
  researchr = {https://researchr.org/publication/BransenDS14},
  cites = {0},
  citedby = {0},
  pages = {145-156},
  booktitle = {PEPM},
}

@inproceedings{JeuringS95,
  title = {Constructing Functional Programs for Grammar Analysis Problems},
  author = {Johan  Jeuring and S. Doaitse Swierstra},
  year = {1995},
  tags = {program analysis, functional programming, analysis, grammar},
  researchr = {https://researchr.org/publication/JeuringS95},
  cites = {0},
  citedby = {0},
  pages = {259-269},
  booktitle = {fpca},
}

@inproceedings{PrasetyaVS06,
  title = {Web Cube},
  author = {I. S. W. B. Prasetya and Tanja E. J. Vos and S. Doaitse Swierstra},
  year = {2006},
  doi = {10.1007/11888116_6},
  url = {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},
}

@inproceedings{SwierstraA99,
  title = {Fast, Error Correcting Parser Combinatiors: A Short Tutorial},
  author = {S. Doaitse Swierstra and Pablo R. Azero Alcocer},
  year = {1999},
  url = {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},
}

@inproceedings{SwierstraV91,
  title = {Higher Order Attribute Grammars},
  author = {S. Doaitse Swierstra and Harald Vogt},
  year = {1991},
  tags = {attribute grammars, grammar},
  researchr = {https://researchr.org/publication/SwierstraV91},
  cites = {0},
  citedby = {0},
  pages = {256-296},
  booktitle = {saga},
}
@proceedings{afp-2008,
  title = {Advanced Functional Programming, 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures},
  year = {2009},
  doi = {10.1007/978-3-642-04652-0},
  url = {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 = {Pieter W. M. Koopman and Rinus Plasmeijer and S. Doaitse Swierstra},
  volume = {5832},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-04651-3},
}

@proceedings{sblp-2015,
  title = {Programming Languages - 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings},
  year = {2015},
  doi = {10.1007/978-3-319-24012-1},
  url = {http://dx.doi.org/10.1007/978-3-319-24012-1},
  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 = {Alberto Pardo and S. Doaitse Swierstra},
  volume = {9325},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-24011-4},
}

@proceedings{plilp:95,
  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 = {Manuel V. Hermenegildo and S. Doaitse Swierstra},
  volume = {982},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-60359-X},
}

@proceedings{plilp:1996,
  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 = {Herbert Kuchen and S. Doaitse Swierstra},
  volume = {1140},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61756-6},
}

@proceedings{afp:98,
  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 = {S. Doaitse Swierstra and Pedro Rangel Henriques and José N. Oliveira},
  volume = {1608},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66241-3},
}

@proceedings{esop:1999,
  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 = {S. Doaitse Swierstra},
  volume = {1576},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65699-5},
}