@book{PlasmeijerE93,
  title = {Functional Programming and Parallel Graph Rewriting},
  author = {Marinus J. Plasmeijer and Marko C. J. D. van Eekelen},
  year = {1993},
  tags = {functional programming, parallel programming, graph-rewriting, C++, programming, rewriting},
  researchr = {https://researchr.org/publication/PlasmeijerE93},
  cites = {0},
  citedby = {0},
  publisher = {Addison-Wesley},
  isbn = {0-201-41663-8},
}

@inproceedings{MolEP01,
  title = {Theorem Proving for Functional Programmers},
  author = {Maarten de Mol and Marko C. J. D. van Eekelen and Marinus J. Plasmeijer},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2312/23120055.htm},
  tags = {C++},
  researchr = {https://researchr.org/publication/MolEP01},
  cites = {0},
  citedby = {0},
  pages = {55-71},
  booktitle = {Implementation of Functional Languages, 13th International Workshop, IFL 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers},
  editor = {Thomas Arts and Markus Mohnen},
  volume = {2312},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43537-9},
}

@inproceedings{BarendregtEGKPS87a,
  title = {Towards an Intermediate Language based on Graph Rewriting},
  author = {Hendrik Pieter Barendregt and Marko C. J. D. van Eekelen and John R. W. Glauert and Richard Kennaway and Marinus J. Plasmeijer and M. Ronan Sleep},
  year = {1987},
  tags = {rule-based, graph-rewriting, C++, rewriting},
  researchr = {https://researchr.org/publication/BarendregtEGKPS87a},
  cites = {0},
  citedby = {0},
  pages = {159-175},
  booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings},
  editor = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven},
  volume = {259},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-17945-3},
}

@inproceedings{BrusELP87,
  title = {CLEAN: A language for functional graph writing},
  author = {T. H. Brus and Marko C. J. D. van Eekelen and M. O. van Leer and Marinus J. Plasmeijer},
  year = {1987},
  tags = {graph-rewriting, C++, writing, rewriting},
  researchr = {https://researchr.org/publication/BrusELP87},
  cites = {0},
  citedby = {0},
  pages = {364-384},
  booktitle = {Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings},
  editor = {Gilles Kahn},
  volume = {274},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-18317-5},
}

@article{BosPH83,
  title = {Input-Output Tools: A Language Facility for Interactive and Real-Time Systems},
  author = {Jan van den Bos and Marinus J. Plasmeijer and Pieter H. Hartel},
  year = {1983},
  researchr = {https://researchr.org/publication/BosPH83},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. Software Eng.},
  volume = {9},
  number = {3},
  pages = {247-259},
}

@inproceedings{PepelsP05,
  title = {Generating Applications from Object Role Models},
  author = {Betsy Pepels and Marinus J. Plasmeijer},
  year = {2005},
  doi = {10.1007/11575863_85},
  url = {http://dx.doi.org/10.1007/11575863_85},
  tags = {meta-model, object-role modeling, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/PepelsP05},
  cites = {0},
  citedby = {0},
  pages = {656-665},
  booktitle = {On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceed},
  editor = {Robert Meersman and Zahir Tari and Pilar Herrero and Gonzalo Méndez and Lawrence Cavedon and David Martin and Annika Hinze and George Buchanan and María S. Pérez and Víctor Robles and Jan Humble and Antonia Albani and Jan L. G. Dietz and Hervé Panetto and Monica Scannapieco and Terry A. Halpin and Peter Spyns and Johannes Maria Zaha and Esteban Zimányi and Emmanuel Stefanakis and Tharam S. Dillon and Ling Feng and Mustafa Jarrar and Jos Lehmann and Aldo de Moor and Erik Duval and Lora Aroyo},
  volume = {3762},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-29739-1},
}

@inproceedings{WieringAP99,
  title = {Using Clean for Platform Games},
  author = {Mike Wiering and Peter Achten and Marinus J. Plasmeijer},
  year = {1999},
  researchr = {https://researchr.org/publication/WieringAP99},
  cites = {0},
  citedby = {0},
  pages = {1-17},
  booktitle = {Implementation of Functional Languages, 11th International Workshop, IFL 99, Lochem, The Netherlands, September 7-10, 1999, Selected Papers},
  editor = {Pieter W. M. Koopman and Chris Clack},
  volume = {1868},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67864-6},
}

@inproceedings{PepelsPP06,
  title = {Fact-Oriented Modeling from a Programming Language Designer s Perspective},
  author = {Betsy Pepels and Marinus J. Plasmeijer and Henderik Alex Proper},
  year = {2006},
  doi = {10.1007/11915072_20},
  url = {http://dx.doi.org/10.1007/11915072_20},
  tags = {programming languages, object-oriented programming, modeling language, modeling, language modeling, object-role modeling, programming, subject-oriented programming, feature-oriented programming},
  researchr = {https://researchr.org/publication/PepelsPP06},
  cites = {0},
  citedby = {0},
  pages = {1170-1180},
  booktitle = {On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerSys, OTM Academy Doctoral Consortium, RDDS, SWWS, and SeB},
  editor = {Robert Meersman and Zahir Tari and Pilar Herrero},
  volume = {4278},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-48273-3},
}

@inproceedings{AchtenGP92,
  title = {High Level Specification of I/O in Functional Languages},
  author = {Peter Achten and John H. G. van Groningen and Marinus J. Plasmeijer},
  year = {1992},
  researchr = {https://researchr.org/publication/AchtenGP92},
  cites = {0},
  citedby = {0},
  pages = {1-17},
  booktitle = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992},
  editor = {John Launchbury and Patrick M. Sansom},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19820-2},
}

@inproceedings{AchtenEP04,
  title = {Compositional Model-Views with Generic Graphical User Interfaces},
  author = {Peter Achten and Marko C. J. D. van Eekelen and Marinus J. Plasmeijer},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3057&spage=39},
  tags = {composition, C++},
  researchr = {https://researchr.org/publication/AchtenEP04},
  cites = {0},
  citedby = {0},
  pages = {39-55},
  booktitle = {Practical Aspects of Declarative Languages, 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings},
  editor = {Bharat Jayaraman},
  volume = {3057},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22253-7},
}

@inproceedings{PlasmeijerA06:0,
  title = {A Conference Management System Based on the iData Toolkit},
  author = {Marinus J. Plasmeijer and Peter Achten},
  year = {2006},
  doi = {10.1007/978-3-540-74130-5_7},
  url = {http://dx.doi.org/10.1007/978-3-540-74130-5_7},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/PlasmeijerA06%3A0},
  cites = {0},
  citedby = {0},
  pages = {108-125},
  booktitle = {Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers},
  editor = {Zoltán Horváth and Viktória Zsók and Andrew Butterfield},
  volume = {4449},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-74129-9},
}

@inproceedings{KoopmanP06,
  title = {Automatic Testing of Higher Order Functions},
  author = {Pieter W. M. Koopman and Marinus J. Plasmeijer},
  year = {2006},
  doi = {10.1007/11924661_9},
  url = {http://dx.doi.org/10.1007/11924661_9},
  tags = {testing},
  researchr = {https://researchr.org/publication/KoopmanP06},
  cites = {0},
  citedby = {0},
  pages = {148-164},
  booktitle = {Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings},
  editor = {Naoki Kobayashi},
  volume = {4279},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-48937-1},
}

@inproceedings{AchtenAP02,
  title = {When Generic Functions Use Dynamic Values},
  author = {Peter Achten and Artem Alimarine and Marinus J. Plasmeijer},
  year = {2002},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2670&spage=17},
  researchr = {https://researchr.org/publication/AchtenAP02},
  cites = {0},
  citedby = {0},
  pages = {17-33},
  booktitle = {Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers},
  editor = {Ricardo Pena and Thomas Arts},
  volume = {2670},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40190-3},
}

@inproceedings{SmetsersBEP93,
  title = {Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs},
  author = {Sjaak Smetsers and Erik Barendsen and Marko C. J. D. van Eekelen and Marinus J. Plasmeijer},
  year = {1993},
  tags = {type system, graph-rewriting, C++, rewriting},
  researchr = {https://researchr.org/publication/SmetsersBEP93},
  cites = {0},
  citedby = {0},
  pages = {358-379},
  booktitle = {Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings},
  editor = {Hans Jürgen Schneider and Hartmut Ehrig},
  volume = {776},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57787-4},
}

@inproceedings{PlasmeijerE99,
  title = {Term Graph Rewriting and Mobile Expressions in Functional Languages},
  author = {Marinus J. Plasmeijer and Marko C. J. D. van Eekelen},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1779/17790001.htm},
  tags = {term rewriting, graph-rewriting, C++, rewriting, mobile},
  researchr = {https://researchr.org/publication/PlasmeijerE99},
  cites = {0},
  citedby = {0},
  pages = {1-13},
  booktitle = {Applications of Graph Transformations with Industrial Relevance, International Workshop, AGTIVE 99, Kerkrade, The Netherlands, September 1-3, 1999, Proceedings},
  editor = {Manfred Nagl and Andy Schürr and Manfred Münch},
  volume = {1779},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67658-9},
}

@inproceedings{SchreurP04,
  title = {Dynamic Construction of Generic Functions},
  author = {Ronny Wichers Schreur and Marinus J. Plasmeijer},
  year = {2004},
  doi = {10.1007/11431664_10},
  url = {http://dx.doi.org/10.1007/11431664_10},
  researchr = {https://researchr.org/publication/SchreurP04},
  cites = {0},
  citedby = {0},
  pages = {160-176},
  booktitle = {Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers},
  editor = {Clemens Grelck and Frank Huch and Greg Michaelson and Philip W. Trinder},
  volume = {3474},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-26094-3},
}

@inproceedings{AchtenP97,
  title = {Interactive Functional Objects in Clean},
  author = {Peter Achten and Marinus J. Plasmeijer},
  year = {1997},
  url = {http://link.springer.de/link/service/series/0558/bibs/1467/14670304.htm},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/AchtenP97},
  cites = {0},
  citedby = {0},
  pages = {304-321},
  booktitle = {Implementation of Functional Languages, 9th International Workshop, IFL 97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers},
  editor = {Chris Clack and Kevin Hammond and Antony J. T. Davie},
  volume = {1467},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64849-6},
}

@inproceedings{AlimarineP01,
  title = {A Generic Programming Extension for Clean},
  author = {Artem Alimarine and Marinus J. Plasmeijer},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2312/23120168.htm},
  tags = {generic programming, programming},
  researchr = {https://researchr.org/publication/AlimarineP01},
  cites = {0},
  citedby = {0},
  pages = {168-185},
  booktitle = {Implementation of Functional Languages, 13th International Workshop, IFL 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers},
  editor = {Thomas Arts and Markus Mohnen},
  volume = {2312},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43537-9},
}

@article{SmetsersWP09,
  title = {Efficient and Type-Safe Generic Data Storage},
  author = {Sjaak Smetsers and Arjen van Weelden and Marinus J. Plasmeijer},
  year = {2009},
  doi = {10.1016/j.entcs.2009.05.007},
  url = {http://dx.doi.org/10.1016/j.entcs.2009.05.007},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/SmetsersWP09},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {238},
  number = {2},
  pages = {59-70},
}

@inproceedings{SmetsersNGP91,
  title = {Generating Efficient Code for Lazy Functional Languages},
  author = {Sjaak Smetsers and Eric Nöcker and John H. G. van Groningen and Marinus J. Plasmeijer},
  year = {1991},
  tags = {laziness},
  researchr = {https://researchr.org/publication/SmetsersNGP91},
  cites = {0},
  citedby = {0},
  pages = {592-617},
  booktitle = {Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings},
  editor = {John Hughes},
  volume = {523},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-54396-1},
}

@inproceedings{EekelenP95,
  title = {Constructing Medium Sized Efficient Functional Programs in Clean},
  author = {Marko C. J. D. van Eekelen and Marinus J. Plasmeijer},
  year = {1995},
  tags = {functional programming, C++},
  researchr = {https://researchr.org/publication/EekelenP95},
  cites = {0},
  citedby = {0},
  pages = {183-227},
  booktitle = {Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995, Tutorial Text},
  editor = {Johan  Jeuring and Erik Meijer},
  volume = {925},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-59451-5},
}

@inproceedings{NockerSEP91,
  title = {Concurrent Clean},
  author = {E. G. J. M. H. Nöcker and J. E. W. Smetsers and Marko C. J. D. van Eekelen and Marinus J. Plasmeijer},
  year = {1991},
  tags = {C++, e-science},
  researchr = {https://researchr.org/publication/NockerSEP91},
  cites = {0},
  citedby = {0},
  pages = {202-219},
  booktitle = {PARLE  91: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings},
  editor = {Emile H. L. Aarts and Jan van Leeuwen and Martin Rem},
  volume = {506},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-54152-7},
}

@inproceedings{VervoortP02,
  title = {Lazy Dynamic Input/Output in the Lazy Functional Language Clean},
  author = {Martijn Vervoort and Marinus J. Plasmeijer},
  year = {2002},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2670&spage=101},
  tags = {laziness},
  researchr = {https://researchr.org/publication/VervoortP02},
  cites = {0},
  citedby = {0},
  pages = {101-117},
  booktitle = {Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers},
  editor = {Ricardo Pena and Thomas Arts},
  volume = {2670},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40190-3},
}

@article{KoopmanEP95,
  title = {Operational Machine Specification in a Functional Programming Language},
  author = {Pieter W. M. Koopman and Marko C. J. D. van Eekelen and Marinus J. Plasmeijer},
  year = {1995},
  tags = {programming languages, functional programming, C++, programming},
  researchr = {https://researchr.org/publication/KoopmanEP95},
  cites = {0},
  citedby = {0},
  journal = {Software: Practice and Experience},
  volume = {25},
  number = {5},
  pages = {463-499},
}

@inproceedings{KoopmanATP02,
  title = {Gast: Generic Automated Software Testing},
  author = {Pieter W. M. Koopman and Artem Alimarine and Jan Tretmans and Marinus J. Plasmeijer},
  year = {2002},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2670&spage=84},
  tags = {testing},
  researchr = {https://researchr.org/publication/KoopmanATP02},
  cites = {0},
  citedby = {0},
  pages = {84-100},
  booktitle = {Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers},
  editor = {Ricardo Pena and Thomas Arts},
  volume = {2670},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40190-3},
}

@inproceedings{MolEP07:0,
  title = {A Single-Step Term-Graph Reduction System for Proof Assistants},
  author = {Maarten de Mol and Marko C. J. D. van Eekelen and Marinus J. Plasmeijer},
  year = {2007},
  doi = {10.1007/978-3-540-89020-1_14},
  url = {http://dx.doi.org/10.1007/978-3-540-89020-1_14},
  tags = {proof assistant, term rewriting, graph-rewriting, C++, rewriting},
  researchr = {https://researchr.org/publication/MolEP07%3A0},
  cites = {0},
  citedby = {0},
  pages = {184-200},
  booktitle = {Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers},
  editor = {Andy Schürr and Manfred Nagl and Albert Zündorf},
  volume = {5088},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-89019-5},
}

@article{BosPS81,
  title = {Process Communication Based on Input Specifications},
  author = {Jan van den Bos and Marinus J. Plasmeijer and Jan Stroet},
  year = {1981},
  doi = {10.1145/357139.357141},
  url = {http://doi.acm.org/10.1145/357139.357141},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/BosPS81},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {3},
  number = {3},
  pages = {224-250},
}

@inproceedings{KoopmanP05:0,
  title = {Fully Automatic Testing with Functions as Specifications},
  author = {Pieter W. M. Koopman and Marinus J. Plasmeijer},
  year = {2005},
  doi = {10.1007/11894100_2},
  url = {http://dx.doi.org/10.1007/11894100_2},
  tags = {testing},
  researchr = {https://researchr.org/publication/KoopmanP05%3A0},
  cites = {0},
  citedby = {0},
  pages = {35-61},
  booktitle = {Central European Functional Programming School, First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures},
  editor = {Zoltán Horváth},
  volume = {4164},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-46843-9},
}

@inproceedings{SerrarensP98,
  title = {Explicit Message Passing for Concurrent Clean},
  author = {Pascal R. Serrarens and Marinus J. Plasmeijer},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1595/15950229.htm},
  tags = {Pascal},
  researchr = {https://researchr.org/publication/SerrarensP98},
  cites = {0},
  citedby = {0},
  pages = {229-245},
  booktitle = {Implementation of Functional Languages, 10th International Workshop, IFL 98, London, UK, September 9-11, Selected Papers},
  editor = {Kevin Hammond and Antony J. T. Davie and Chris Clack},
  volume = {1595},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66229-4},
}

@article{PlasmeijerE99:0,
  title = {Keep it Clean: A Unique Approach to Functional Programming},
  author = {Marinus J. Plasmeijer and Marko C. J. D. van Eekelen},
  year = {1999},
  tags = {functional programming, C++, programming, systematic-approach},
  researchr = {https://researchr.org/publication/PlasmeijerE99%3A0},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {34},
  number = {6},
  pages = {23-31},
}

@inproceedings{PlasmeijerA05:0,
  title = {Generic Editors for the World Wide Web},
  author = {Marinus J. Plasmeijer and Peter Achten},
  year = {2005},
  doi = {10.1007/11894100_1},
  url = {http://dx.doi.org/10.1007/11894100_1},
  researchr = {https://researchr.org/publication/PlasmeijerA05%3A0},
  cites = {0},
  citedby = {0},
  pages = {1-34},
  booktitle = {Central European Functional Programming School, First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures},
  editor = {Zoltán Horváth},
  volume = {4164},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-46843-9},
}

@inproceedings{KoopmanP06:0,
  title = {Systematic synthesis of functions},
  author = {Pieter W. M. Koopman and Marinus J. Plasmeijer},
  year = {2006},
  tags = {systematic-approach},
  researchr = {https://researchr.org/publication/KoopmanP06%3A0},
  cites = {0},
  citedby = {0},
  pages = {35-54},
  booktitle = {Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, TFP 2006, Nottingham, United Kingdom, 19-21 April 2006},
  editor = {Henrik Nilsson},
  volume = {7},
  series = {Trends in Functional Programming},
  publisher = {Intellect},
  isbn = {978-1-84150-188-8},
}

@inproceedings{KoopmanP03,
  title = {Testing reactive systems with GAST},
  author = {Pieter W. M. Koopman and Marinus J. Plasmeijer},
  year = {2003},
  tags = {testing},
  researchr = {https://researchr.org/publication/KoopmanP03},
  cites = {0},
  citedby = {0},
  pages = {111-129},
  booktitle = {Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, TFP 2003, Edinburgh, United Kingdom, 11-12 September 2003},
  editor = {Stephen Gilmore},
  volume = {4},
  series = {Trends in Functional Programming},
  publisher = {Intellect},
  isbn = {1-84150-122-0},
}

@inproceedings{PlasmeijerA06,
  title = {iData for the World Wide Web - Programming Interconnected Web Forms},
  author = {Marinus J. Plasmeijer and Peter Achten},
  year = {2006},
  doi = {10.1007/11737414_17},
  url = {http://dx.doi.org/10.1007/11737414_17},
  tags = {programming},
  researchr = {https://researchr.org/publication/PlasmeijerA06},
  cites = {0},
  citedby = {0},
  pages = {242-258},
  booktitle = {Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
  editor = {Masami Hagiya and Philip Wadler},
  volume = {3945},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-33438-6},
}

@inproceedings{PlasmeijerW04,
  title = {A Functional Shell That Operates on Typed and Compiled Applications},
  author = {Marinus J. Plasmeijer and Arjen van Weelden},
  year = {2004},
  doi = {10.1007/11546382_6},
  url = {http://dx.doi.org/10.1007/11546382_6},
  tags = {compiler},
  researchr = {https://researchr.org/publication/PlasmeijerW04},
  cites = {0},
  citedby = {0},
  pages = {245-272},
  booktitle = {Advanced Functional Programming, 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures},
  editor = {Varmo Vene and Tarmo Uustalu},
  volume = {3622},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-28540-7},
}

@inproceedings{ZornerKEP00,
  title = {Polygonizing Implicit Surfaces in a Purely Functional Way},
  author = {Thorsten H.-G. Zörner and Pieter W. M. Koopman and Marko C. J. D. van Eekelen and Marinus J. Plasmeijer},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/2011/20110158.htm},
  tags = {C++},
  researchr = {https://researchr.org/publication/ZornerKEP00},
  cites = {0},
  citedby = {0},
  pages = {158-175},
  booktitle = {Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers},
  editor = {Markus Mohnen and Pieter W. M. Koopman},
  volume = {2011},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41919-5},
}

@inproceedings{VriesPA07,
  title = {Uniqueness Typing Simplified},
  author = {Edsko de Vries and Marinus J. Plasmeijer and David M. Abrahamson},
  year = {2007},
  doi = {10.1007/978-3-540-85373-2_12},
  url = {http://dx.doi.org/10.1007/978-3-540-85373-2_12},
  researchr = {https://researchr.org/publication/VriesPA07},
  cites = {0},
  citedby = {0},
  pages = {201-218},
  booktitle = {Implementation and Application of Functional Languages, 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers},
  editor = {Olaf Chitil and Zoltán Horváth and Viktória Zsók},
  volume = {5083},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-85372-5},
}

@inproceedings{WeeldenP02,
  title = {Towards a Strongly Typed Functional Operating System},
  author = {Arjen van Weelden and Marinus J. Plasmeijer},
  year = {2002},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2670&spage=215},
  tags = {operating system, type system},
  researchr = {https://researchr.org/publication/WeeldenP02},
  cites = {0},
  citedby = {0},
  pages = {215-231},
  booktitle = {Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers},
  editor = {Ricardo Pena and Thomas Arts},
  volume = {2670},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40190-3},
}

@inproceedings{MolEP07,
  title = {Proving Properties of Lazy Functional Programs with Sparkle},
  author = {Maarten de Mol and Marko C. J. D. van Eekelen and Marinus J. Plasmeijer},
  year = {2007},
  doi = {10.1007/978-3-540-88059-2_2},
  url = {http://dx.doi.org/10.1007/978-3-540-88059-2_2},
  tags = {laziness, functional programming, C++},
  researchr = {https://researchr.org/publication/MolEP07},
  cites = {0},
  citedby = {0},
  pages = {41-86},
  booktitle = {Central European Functional Programming School, Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures},
  editor = {Zoltán Horváth and Marinus J. Plasmeijer and Anna Soós and Viktória Zsók},
  volume = {5161},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-88058-5},
}

@inproceedings{KoopmanAP08:0,
  title = {Model-Based Testing of Thin-Client Web Applications and Navigation Input},
  author = {Pieter W. M. Koopman and Peter Achten and Marinus J. Plasmeijer},
  year = {2008},
  doi = {10.1007/978-3-540-77442-6_20},
  url = {http://dx.doi.org/10.1007/978-3-540-77442-6_20},
  tags = {rule-based, testing, web applications},
  researchr = {https://researchr.org/publication/KoopmanAP08%3A0},
  cites = {0},
  citedby = {0},
  pages = {299-315},
  booktitle = {Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008},
  editor = {Paul Hudak and David Scott Warren},
  volume = {4902},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-77441-9},
}

@inproceedings{AlimarineSWEP05,
  title = {There and back again: arrows for invertible programming},
  author = {Artem Alimarine and Sjaak Smetsers and Arjen van Weelden and Marko C. J. D. van Eekelen and Marinus J. Plasmeijer},
  year = {2005},
  doi = {10.1145/1088348.1088357},
  url = {http://doi.acm.org/10.1145/1088348.1088357},
  tags = {Haskell, C++, programming},
  researchr = {https://researchr.org/publication/AlimarineSWEP05},
  cites = {0},
  citedby = {0},
  pages = {86-97},
  booktitle = {Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2005, Tallinn, Estonia, September 30, 2005},
  editor = {Daan Leijen},
  publisher = {ACM},
  isbn = {1-59593-071-X},
}

@article{BarendregtEPGKS89,
  title = {LEAN: an intermediate language based on graph rewriting},
  author = {Hendrik Pieter Barendregt and Marko C. J. D. van Eekelen and Marinus J. Plasmeijer and John R. W. Glauert and Richard Kennaway and M. Ronan Sleep},
  year = {1989},
  tags = {rule-based, graph-rewriting, C++, rewriting},
  researchr = {https://researchr.org/publication/BarendregtEPGKS89},
  cites = {0},
  citedby = {0},
  journal = {Parallel Computing},
  volume = {9},
  number = {2},
  pages = {163-177},
}

@inproceedings{JansenKP06,
  title = {Efficient interpretation by transforming data types and patterns to functions},
  author = {Jan Martin Jansen and Pieter W. M. Koopman and Marinus J. Plasmeijer},
  year = {2006},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/JansenKP06},
  cites = {0},
  citedby = {0},
  pages = {73-90},
  booktitle = {Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, TFP 2006, Nottingham, United Kingdom, 19-21 April 2006},
  editor = {Henrik Nilsson},
  volume = {7},
  series = {Trends in Functional Programming},
  publisher = {Intellect},
  isbn = {978-1-84150-188-8},
}

@inproceedings{EekelenP86,
  title = {Specification of reduction strategies in term rewriting systems},
  author = {Marko C. J. D. van Eekelen and Marinus J. Plasmeijer},
  year = {1986},
  tags = {term rewriting, graph-rewriting, C++, rewriting, rewriting strategies},
  researchr = {https://researchr.org/publication/EekelenP86},
  cites = {0},
  citedby = {0},
  pages = {215-239},
  booktitle = {Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29 - October 1, 1986},
  editor = {Joseph H. Fasel and Robert M. Keller},
  volume = {279},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-18420-1},
}

@inproceedings{EekelenSP96,
  title = {Graph Rewriting Semantics for Functional Programming Languages},
  author = {Marko C. J. D. van Eekelen and Sjaak Smetsers and Marinus J. Plasmeijer},
  year = {1996},
  tags = {programming languages, semantics, functional programming, graph-rewriting, C++, programming, rewriting},
  researchr = {https://researchr.org/publication/EekelenSP96},
  cites = {0},
  citedby = {0},
  pages = {106-128},
  booktitle = {Computer Science Logic, 10th International Workshop, CSL  96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers},
  editor = {Dirk van Dalen and Marc Bezem},
  volume = {1258},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63172-0},
}

@article{HartelP95,
  title = {Special Issue on State-of-the-Art Applications of Pure Functional Programming Languages},
  author = {Pieter H. Hartel and Marinus J. Plasmeijer},
  year = {1995},
  tags = {programming languages, functional programming, programming},
  researchr = {https://researchr.org/publication/HartelP95},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {5},
  number = {3},
  pages = {279-281},
}

@inproceedings{PlasmeijerJKA08,
  title = {Declarative Ajax and client side evaluation of workflows using iTasks},
  author = {Marinus J. Plasmeijer and Jan Martin Jansen and Pieter W. M. Koopman and Peter Achten},
  year = {2008},
  doi = {10.1145/1389449.1389457},
  url = {http://doi.acm.org/10.1145/1389449.1389457},
  tags = {AJAX, workflow},
  researchr = {https://researchr.org/publication/PlasmeijerJKA08},
  cites = {0},
  citedby = {0},
  pages = {56-66},
  booktitle = {Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain},
  editor = {Sergio Antoy and Elvira Albert},
  publisher = {ACM},
  isbn = {978-1-60558-117-0},
}

@inproceedings{KoopmanPA06,
  title = {Model-Based Testing of Thin-Client Web Applications},
  author = {Pieter W. M. Koopman and Marinus J. Plasmeijer and Peter Achten},
  year = {2006},
  doi = {10.1007/11940197_8},
  url = {http://dx.doi.org/10.1007/11940197_8},
  tags = {rule-based, testing, web applications},
  researchr = {https://researchr.org/publication/KoopmanPA06},
  cites = {0},
  citedby = {0},
  pages = {115-132},
  booktitle = {Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers},
  editor = {Klaus Havelund and Manuel Núñez and Grigore Rosu and Burkhart Wolff},
  volume = {4262},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-49699-8},
}

@inproceedings{AchtenD03,
  title = {Generic Graphical User Interfaces},
  author = {Peter Achten and Marko C. J. D. van Eekelen and Marinus J. Plasmeijer},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3145&spage=152},
  tags = {C++},
  researchr = {https://researchr.org/publication/AchtenD03},
  cites = {0},
  citedby = {0},
  pages = {152-167},
  booktitle = {Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers},
  editor = {Philip W. Trinder and Greg Michaelson and Ricardo Pena},
  volume = {3145},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-23727-5},
}

@inproceedings{WeeldenSP05,
  title = {Polytypic Syntax Tree Operations},
  author = {Arjen van Weelden and Sjaak Smetsers and Marinus J. Plasmeijer},
  year = {2005},
  doi = {10.1007/11964681_9},
  url = {http://dx.doi.org/10.1007/11964681_9},
  tags = {polytypic},
  researchr = {https://researchr.org/publication/WeeldenSP05},
  cites = {0},
  citedby = {0},
  pages = {142-159},
  booktitle = {Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers},
  editor = {Andrew Butterfield and Clemens Grelck and Frank Huch},
  volume = {4015},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-69174-X},
}

@inproceedings{PlasmeijerAK07,
  title = {iTasks: executable specifications of interactive work flow systems for the web},
  author = {Marinus J. Plasmeijer and Peter Achten and Pieter W. M. Koopman},
  year = {2007},
  doi = {10.1145/1291151.1291174},
  url = {http://doi.acm.org/10.1145/1291151.1291174},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/PlasmeijerAK07},
  cites = {0},
  citedby = {0},
  pages = {141-152},
  booktitle = {Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007},
  editor = {Ralf Hinze and Norman Ramsey},
  publisher = {ACM},
  isbn = {978-1-59593-815-2},
}

@inproceedings{BarendregtEGKPS87,
  title = {Term Graph Rewriting},
  author = {Hendrik Pieter Barendregt and Marko C. J. D. van Eekelen and John R. W. Glauert and Richard Kennaway and Marinus J. Plasmeijer and M. Ronan Sleep},
  year = {1987},
  tags = {term rewriting, graph-rewriting, C++, rewriting},
  researchr = {https://researchr.org/publication/BarendregtEGKPS87},
  cites = {0},
  citedby = {0},
  pages = {141-158},
  booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings},
  editor = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven},
  volume = {259},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-17945-3},
}

@inproceedings{AchtenP99,
  title = {The Implementation of Interactive Local State Transition Systems in Clean},
  author = {Peter Achten and Marinus J. Plasmeijer},
  year = {1999},
  researchr = {https://researchr.org/publication/AchtenP99},
  cites = {0},
  citedby = {0},
  pages = {115-130},
  booktitle = {Implementation of Functional Languages, 11th International Workshop, IFL 99, Lochem, The Netherlands, September 7-10, 1999, Selected Papers},
  editor = {Pieter W. M. Koopman and Chris Clack},
  volume = {1868},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67864-6},
}

@inproceedings{EekelenPS90,
  title = {Parallel Graph Rewriting on Loosely Coupled Machine Architectures},
  author = {Marko C. J. D. van Eekelen and Marinus J. Plasmeijer and J. E. W. Smetsers},
  year = {1990},
  tags = {architecture, graph-rewriting, C++, e-science, rewriting},
  researchr = {https://researchr.org/publication/EekelenPS90},
  cites = {0},
  citedby = {0},
  pages = {354-369},
  booktitle = {Conditional and Typed Rewriting Systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, Proceedings},
  editor = {Stéphane Kaplan and Mitsuhiro Okada},
  volume = {516},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-54317-1},
}

@inproceedings{KoopmanAP08,
  title = {Validating Specifications for Model-Based Testing},
  author = {Pieter W. M. Koopman and Peter Achten and Marinus J. Plasmeijer},
  year = {2008},
  tags = {rule-based, testing},
  researchr = {https://researchr.org/publication/KoopmanAP08},
  cites = {0},
  citedby = {0},
  pages = {225-231},
  booktitle = {Proceedings of the 2008 International Conference on Software Engineering Research & Practice, SERP 2008, July 14-17, 2008, Las Vegas Nevada, USA, 2 Volumes},
  editor = {Hamid R. Arabnia and Hassan Reza},
  publisher = {CSREA Press},
  isbn = {1-60132-088-4},
}

@inproceedings{EversAP04,
  title = {Disjoint forms in graphical user interfaces},
  author = {Sander Evers and Peter Achten and Marinus J. Plasmeijer},
  year = {2004},
  researchr = {https://researchr.org/publication/EversAP04},
  cites = {0},
  citedby = {0},
  pages = {113-128},
  booktitle = {Revised Selected Papers from the Fifth Symposium on Trends in Functional Programming, TFP 2004, München, Germany, 25-26 November 2004},
  editor = {Hans-Wolfgang Loidl},
  volume = {5},
  series = {Trends in Functional Programming},
  publisher = {Intellect},
  isbn = {1-84150-144-1},
}

@article{AchtenP95,
  title = {The Ins and Outs of Clean I/O},
  author = {Peter Achten and Marinus J. Plasmeijer},
  year = {1995},
  researchr = {https://researchr.org/publication/AchtenP95},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {5},
  number = {1},
  pages = {81-110},
}

@inproceedings{WeeldenP03,
  title = {A Functional Shell That Dynamically Combines Compiled Code},
  author = {Arjen van Weelden and Marinus J. Plasmeijer},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3145&spage=36},
  tags = {compiler},
  researchr = {https://researchr.org/publication/WeeldenP03},
  cites = {0},
  citedby = {0},
  pages = {36-52},
  booktitle = {Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers},
  editor = {Philip W. Trinder and Greg Michaelson and Ricardo Pena},
  volume = {3145},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-23727-5},
}

@inproceedings{KuchenPS94,
  title = {Efficient Distributed Memory Implementation of a Data Parallel Functional Language},
  author = {Herbert Kuchen and Marinus J. Plasmeijer and Holger Stoltze},
  year = {1994},
  tags = {data-flow language, data-flow},
  researchr = {https://researchr.org/publication/KuchenPS94},
  cites = {0},
  citedby = {0},
  pages = {464-477},
  booktitle = {PARLE  94: Parallel Architectures and Languages Europe, 6th International PARLE Conference, Athens, Greece, July 4-8, 1994, Proceedings},
  editor = {Constantine Halatsis and Dimitris G. Maritsas and George Philokyprou and Sergios Theodoridis},
  volume = {817},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-58184-7},
}

@inproceedings{AchtenEPW04:0,
  title = {Automatic Generation of Editors for Higher-Order Data Structures},
  author = {Peter Achten and Marko C. J. D. van Eekelen and Marinus J. Plasmeijer and Arjen van Weelden},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3302&spage=262},
  tags = {data-flow, C++},
  researchr = {https://researchr.org/publication/AchtenEPW04%3A0},
  cites = {0},
  citedby = {0},
  pages = {262-279},
  booktitle = {Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings},
  editor = {Wei-Ngan Chin},
  volume = {3302},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-23724-0},
}

@inproceedings{PlasmeijerA05,
  title = {The Implementation of iData},
  author = {Marinus J. Plasmeijer and Peter Achten},
  year = {2005},
  doi = {10.1007/11964681_7},
  url = {http://dx.doi.org/10.1007/11964681_7},
  researchr = {https://researchr.org/publication/PlasmeijerA05},
  cites = {0},
  citedby = {0},
  pages = {106-123},
  booktitle = {Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers},
  editor = {Andrew Butterfield and Clemens Grelck and Frank Huch},
  volume = {4015},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-69174-X},
}

@inproceedings{KoopmanP98,
  title = {Efficient Combinator Parsers},
  author = {Pieter W. M. Koopman and Marinus J. Plasmeijer},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1595/15950120.htm},
  tags = {parsing},
  researchr = {https://researchr.org/publication/KoopmanP98},
  cites = {0},
  citedby = {0},
  pages = {120-136},
  booktitle = {Implementation of Functional Languages, 10th International Workshop, IFL 98, London, UK, September 9-11, Selected Papers},
  editor = {Kevin Hammond and Antony J. T. Davie and Chris Clack},
  volume = {1595},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66229-4},
}

@inproceedings{KoopmanP05,
  title = {Generic generation of the elements of data types},
  author = {Pieter W. M. Koopman and Marinus J. Plasmeijer},
  year = {2005},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/KoopmanP05},
  cites = {0},
  citedby = {0},
  pages = {163-178},
  booktitle = {Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, TFP 2005, Tallinn, Estonia, 23-24 September 2005},
  editor = {Marko C. J. D. van Eekelen},
  volume = {6},
  series = {Trends in Functional Programming},
  publisher = {Intellect},
  isbn = {978-1-84150-176-5},
}

@inproceedings{PlasmeijerAK07:0,
  title = {An Introduction to iTasks: Defining Interactive Work Flows for the Web},
  author = {Marinus J. Plasmeijer and Peter Achten and Pieter W. M. Koopman},
  year = {2007},
  doi = {10.1007/978-3-540-88059-2_1},
  url = {http://dx.doi.org/10.1007/978-3-540-88059-2_1},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/PlasmeijerAK07%3A0},
  cites = {0},
  citedby = {0},
  pages = {1-40},
  booktitle = {Central European Functional Programming School, Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures},
  editor = {Zoltán Horváth and Marinus J. Plasmeijer and Anna Soós and Viktória Zsók},
  volume = {5161},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-88058-5},
}

@article{Plasmeijer95,
  title = {CLEAN: a programming environment based on term graph rewriting},
  author = {Marinus J. Plasmeijer},
  year = {1995},
  url = {http://www.elsevier.com/gej-ng/31/29/23/27/23/show/Products/notes/index.htt#027},
  tags = {rule-based, meta programming, meta-model, term rewriting, graph-rewriting, programming, Meta-Environment, rewriting, meta-objects},
  researchr = {https://researchr.org/publication/Plasmeijer95},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {2},
  pages = {215-221},
}

@inproceedings{JansenKP07,
  title = {From Interpretation to Compilation},
  author = {Jan Martin Jansen and Pieter W. M. Koopman and Marinus J. Plasmeijer},
  year = {2007},
  doi = {10.1007/978-3-540-88059-2_8},
  url = {http://dx.doi.org/10.1007/978-3-540-88059-2_8},
  researchr = {https://researchr.org/publication/JansenKP07},
  cites = {0},
  citedby = {0},
  pages = {286-301},
  booktitle = {Central European Functional Programming School, Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures},
  editor = {Zoltán Horváth and Marinus J. Plasmeijer and Anna Soós and Viktória Zsók},
  volume = {5161},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-88058-5},
}

@inproceedings{VriesPA06,
  title = {Uniqueness Typing Redefined},
  author = {Edsko de Vries and Marinus J. Plasmeijer and David M. Abrahamson},
  year = {2006},
  doi = {10.1007/978-3-540-74130-5_11},
  url = {http://dx.doi.org/10.1007/978-3-540-74130-5_11},
  researchr = {https://researchr.org/publication/VriesPA06},
  cites = {0},
  citedby = {0},
  pages = {181-198},
  booktitle = {Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers},
  editor = {Zoltán Horváth and Viktória Zsók and Andrew Butterfield},
  volume = {4449},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-74129-9},
}
@proceedings{cefp:2007,
  title = {Central European Functional Programming School, Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures},
  year = {2008},
  tags = {functional programming, programming},
  researchr = {https://researchr.org/publication/cefp%3A2007},
  cites = {0},
  citedby = {0},
  booktitle = {Central European Functional Programming School, Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures},
  conference = {cefp},
  editor = {Zoltán Horváth and Marinus J. Plasmeijer and Anna Soós and Viktória Zsók},
  volume = {5161},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-88058-5},
}

@proceedings{fple:1995,
  title = {Functional Programming Languages in Education, First International Symposium, FPLE 95, Nijmegen, The Netherlands, December 4-6, 1995, Proceedings},
  year = {1995},
  tags = {programming languages, functional programming, programming},
  researchr = {https://researchr.org/publication/fple%3A1995},
  cites = {0},
  citedby = {0},
  booktitle = {Functional Programming Languages in Education, First International Symposium, FPLE 95, Nijmegen, The Netherlands, December 4-6, 1995, Proceedings},
  conference = {fple},
  editor = {Pieter H. Hartel and Marinus J. Plasmeijer},
  volume = {1022},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-60675-0},
}