publications:
- title: "Functional Programming and Parallel Graph Rewriting"
  author:
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  - name: "Marko C. J. D. van Eekelen"
    link: "https://researchr.org/alias/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"
  kind: "book"
  key: "PlasmeijerE93"
- title: "Theorem Proving for Functional Programmers"
  author:
  - name: "Maarten de Mol"
    link: "https://researchr.org/alias/maarten-de-mol"
  - name: "Marko C. J. D. van Eekelen"
    link: "https://researchr.org/alias/marko-c.-j.-d.-van-eekelen"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2312/23120055.htm"
  links:
    doi: "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: "IFL"
  kind: "inproceedings"
  key: "MolEP01"
- title: "Towards an Intermediate Language based on Graph Rewriting"
  author:
  - name: "Hendrik Pieter Barendregt"
    link: "https://researchr.org/alias/hendrik-pieter-barendregt"
  - name: "Marko C. J. D. van Eekelen"
    link: "https://researchr.org/alias/marko-c.-j.-d.-van-eekelen"
  - name: "John R. W. Glauert"
    link: "https://researchr.org/alias/john-r.-w.-glauert"
  - name: "Richard Kennaway"
    link: "https://researchr.org/alias/richard-kennaway"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  - name: "M. Ronan Sleep"
    link: "https://researchr.org/alias/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"
  kind: "inproceedings"
  key: "BarendregtEGKPS87a"
- title: "CLEAN: A language for functional graph writing"
  author:
  - name: "T. H. Brus"
    link: "https://researchr.org/alias/t.-h.-brus"
  - name: "Marko C. J. D. van Eekelen"
    link: "https://researchr.org/alias/marko-c.-j.-d.-van-eekelen"
  - name: "M. O. van Leer"
    link: "https://researchr.org/alias/m.-o.-van-leer"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "1987"
  tags:
  - "graph-rewriting"
  - "C++"
  - "writing"
  - "rewriting"
  researchr: "https://researchr.org/publication/BrusELP87"
  cites: 0
  citedby: 0
  pages: "364-384"
  booktitle: "fpca"
  kind: "inproceedings"
  key: "BrusELP87"
- title: "Input-Output Tools: A Language Facility for Interactive and Real-Time Systems"
  author:
  - name: "Jan van den Bos"
    link: "https://researchr.org/alias/jan-van-den-bos"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  year: "1983"
  researchr: "https://researchr.org/publication/BosPH83"
  cites: 0
  citedby: 0
  journal: "TSE"
  volume: "9"
  number: "3"
  pages: "247-259"
  kind: "article"
  key: "BosPH83"
- title: "Generating Applications from Object Role Models"
  author:
  - name: "Betsy Pepels"
    link: "https://researchr.org/alias/betsy-pepels"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11575863_85"
  links:
    doi: "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: "otm"
  kind: "inproceedings"
  key: "PepelsP05"
- title: "Using Clean for Platform Games"
  author:
  - name: "Mike Wiering"
    link: "https://researchr.org/alias/mike-wiering"
  - name: "Peter Achten"
    link: "https://researchr.org/alias/peter-achten"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "1999"
  researchr: "https://researchr.org/publication/WieringAP99"
  cites: 0
  citedby: 0
  pages: "1-17"
  booktitle: "IFL"
  kind: "inproceedings"
  key: "WieringAP99"
- title: "Fact-Oriented Modeling from a Programming Language Designer s Perspective"
  author:
  - name: "Betsy Pepels"
    link: "https://researchr.org/alias/betsy-pepels"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  - name: "Henderik Alex Proper"
    link: "https://researchr.org/alias/henderik-alex-proper"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11915072_20"
  links:
    doi: "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: "otm"
  kind: "inproceedings"
  key: "PepelsPP06"
- title: "High Level Specification of I/O in Functional Languages"
  author:
  - name: "Peter Achten"
    link: "https://researchr.org/alias/peter-achten"
  - name: "John H. G. van Groningen"
    link: "https://researchr.org/alias/john-h.-g.-van-groningen"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "1992"
  researchr: "https://researchr.org/publication/AchtenGP92"
  cites: 0
  citedby: 0
  pages: "1-17"
  booktitle: "fp"
  kind: "inproceedings"
  key: "AchtenGP92"
- title: "Compositional Model-Views with Generic Graphical User Interfaces"
  author:
  - name: "Peter Achten"
    link: "https://researchr.org/alias/peter-achten"
  - name: "Marko C. J. D. van Eekelen"
    link: "https://researchr.org/alias/marko-c.-j.-d.-van-eekelen"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3057&spage=39"
  links:
    doi: "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: "PADL"
  kind: "inproceedings"
  key: "AchtenEP04"
- title: "A Conference Management System Based on the iData Toolkit"
  author:
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  - name: "Peter Achten"
    link: "https://researchr.org/alias/peter-achten"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/978-3-540-74130-5_7"
  links:
    doi: "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: "IFL"
  kind: "inproceedings"
  key: "PlasmeijerA06:0"
- title: "Automatic Testing of Higher Order Functions"
  author:
  - name: "Pieter W. M. Koopman"
    link: "https://researchr.org/alias/pieter-w.-m.-koopman"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11924661_9"
  links:
    doi: "http://dx.doi.org/10.1007/11924661_9"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/KoopmanP06"
  cites: 0
  citedby: 0
  pages: "148-164"
  booktitle: "aplas"
  kind: "inproceedings"
  key: "KoopmanP06"
- title: "When Generic Functions Use Dynamic Values"
  author:
  - name: "Peter Achten"
    link: "https://researchr.org/alias/peter-achten"
  - name: "Artem Alimarine"
    link: "https://researchr.org/alias/artem-alimarine"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "2002"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2670&spage=17"
  links:
    doi: "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: "IFL"
  kind: "inproceedings"
  key: "AchtenAP02"
- title: "Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs"
  author:
  - name: "Sjaak Smetsers"
    link: "https://researchr.org/alias/sjaak-smetsers"
  - name: "Erik Barendsen"
    link: "https://researchr.org/alias/erik-barendsen"
  - name: "Marko C. J. D. van Eekelen"
    link: "https://researchr.org/alias/marko-c.-j.-d.-van-eekelen"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "1993"
  tags:
  - "type system"
  - "graph-rewriting"
  - "C++"
  - "rewriting"
  researchr: "https://researchr.org/publication/SmetsersBEP93"
  cites: 0
  citedby: 0
  pages: "358-379"
  booktitle: "Dagstuhl"
  kind: "inproceedings"
  key: "SmetsersBEP93"
- title: "Term Graph Rewriting and Mobile Expressions in Functional Languages"
  author:
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  - name: "Marko C. J. D. van Eekelen"
    link: "https://researchr.org/alias/marko-c.-j.-d.-van-eekelen"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1779/17790001.htm"
  links:
    doi: "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: "agtive"
  kind: "inproceedings"
  key: "PlasmeijerE99"
- title: "Dynamic Construction of Generic Functions"
  author:
  - name: "Ronny Wichers Schreur"
    link: "https://researchr.org/alias/ronny-wichers-schreur"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "2004"
  doi: "http://dx.doi.org/10.1007/11431664_10"
  links:
    doi: "http://dx.doi.org/10.1007/11431664_10"
  researchr: "https://researchr.org/publication/SchreurP04"
  cites: 0
  citedby: 0
  pages: "160-176"
  booktitle: "IFL"
  kind: "inproceedings"
  key: "SchreurP04"
- title: "Interactive Functional Objects in Clean"
  author:
  - name: "Peter Achten"
    link: "https://researchr.org/alias/peter-achten"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "1997"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1467/14670304.htm"
  links:
    doi: "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: "IFL"
  kind: "inproceedings"
  key: "AchtenP97"
- title: "A Generic Programming Extension for Clean"
  author:
  - name: "Artem Alimarine"
    link: "https://researchr.org/alias/artem-alimarine"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2312/23120168.htm"
  links:
    doi: "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: "IFL"
  kind: "inproceedings"
  key: "AlimarineP01"
- title: "Efficient and Type-Safe Generic Data Storage"
  author:
  - name: "Sjaak Smetsers"
    link: "https://researchr.org/alias/sjaak-smetsers"
  - name: "Arjen van Weelden"
    link: "https://researchr.org/alias/arjen-van-weelden"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.05.007"
  links:
    doi: "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: "ENTCS"
  volume: "238"
  number: "2"
  pages: "59-70"
  kind: "article"
  key: "SmetsersWP09"
- title: "Generating Efficient Code for Lazy Functional Languages"
  author:
  - name: "Sjaak Smetsers"
    link: "https://researchr.org/alias/sjaak-smetsers"
  - name: "Eric Nöcker"
    link: "https://researchr.org/alias/eric-n%C3%B6cker"
  - name: "John H. G. van Groningen"
    link: "https://researchr.org/alias/john-h.-g.-van-groningen"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "1991"
  tags:
  - "laziness"
  researchr: "https://researchr.org/publication/SmetsersNGP91"
  cites: 0
  citedby: 0
  pages: "592-617"
  booktitle: "fpca"
  kind: "inproceedings"
  key: "SmetsersNGP91"
- title: "Constructing Medium Sized Efficient Functional Programs in Clean"
  author:
  - name: "Marko C. J. D. van Eekelen"
    link: "https://researchr.org/alias/marko-c.-j.-d.-van-eekelen"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "1995"
  tags:
  - "functional programming"
  - "C++"
  researchr: "https://researchr.org/publication/EekelenP95"
  cites: 0
  citedby: 0
  pages: "183-227"
  booktitle: "afp"
  kind: "inproceedings"
  key: "EekelenP95"
- title: "Concurrent Clean"
  author:
  - name: "E. G. J. M. H. Nöcker"
    link: "https://researchr.org/alias/e.-g.-j.-m.-h.-n%C3%B6cker"
  - name: "J. E. W. Smetsers"
    link: "https://researchr.org/alias/j.-e.-w.-smetsers"
  - name: "Marko C. J. D. van Eekelen"
    link: "https://researchr.org/alias/marko-c.-j.-d.-van-eekelen"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "1991"
  tags:
  - "C++"
  - "e-science"
  researchr: "https://researchr.org/publication/NockerSEP91"
  cites: 0
  citedby: 0
  pages: "202-219"
  booktitle: "parle"
  kind: "inproceedings"
  key: "NockerSEP91"
- title: "Lazy Dynamic Input/Output in the Lazy Functional Language Clean"
  author:
  - name: "Martijn Vervoort"
    link: "https://researchr.org/alias/martijn-vervoort"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "2002"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2670&spage=101"
  links:
    doi: "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: "IFL"
  kind: "inproceedings"
  key: "VervoortP02"
- title: "Operational Machine Specification in a Functional Programming Language"
  author:
  - name: "Pieter W. M. Koopman"
    link: "https://researchr.org/alias/pieter-w.-m.-koopman"
  - name: "Marko C. J. D. van Eekelen"
    link: "https://researchr.org/alias/marko-c.-j.-d.-van-eekelen"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "1995"
  tags:
  - "programming languages"
  - "functional programming"
  - "C++"
  - "programming"
  researchr: "https://researchr.org/publication/KoopmanEP95"
  cites: 0
  citedby: 0
  journal: "SPE"
  volume: "25"
  number: "5"
  pages: "463-499"
  kind: "article"
  key: "KoopmanEP95"
- title: "Gast: Generic Automated Software Testing"
  author:
  - name: "Pieter W. M. Koopman"
    link: "https://researchr.org/alias/pieter-w.-m.-koopman"
  - name: "Artem Alimarine"
    link: "https://researchr.org/alias/artem-alimarine"
  - name: "Jan Tretmans"
    link: "https://researchr.org/alias/jan-tretmans"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "2002"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2670&spage=84"
  links:
    doi: "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: "IFL"
  kind: "inproceedings"
  key: "KoopmanATP02"
- title: "A Single-Step Term-Graph Reduction System for Proof Assistants"
  author:
  - name: "Maarten de Mol"
    link: "https://researchr.org/alias/maarten-de-mol"
  - name: "Marko C. J. D. van Eekelen"
    link: "https://researchr.org/alias/marko-c.-j.-d.-van-eekelen"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-89020-1_14"
  links:
    doi: "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: "agtive"
  kind: "inproceedings"
  key: "MolEP07:0"
- title: "Process Communication Based on Input Specifications"
  author:
  - name: "Jan van den Bos"
    link: "https://researchr.org/alias/jan-van-den-bos"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  - name: "Jan Stroet"
    link: "https://researchr.org/alias/jan-stroet"
  year: "1981"
  doi: "http://doi.acm.org/10.1145/357139.357141"
  links:
    doi: "http://doi.acm.org/10.1145/357139.357141"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/BosPS81"
  cites: 0
  citedby: 0
  journal: "TOPLAS"
  volume: "3"
  number: "3"
  pages: "224-250"
  kind: "article"
  key: "BosPS81"
- title: "Fully Automatic Testing with Functions as Specifications"
  author:
  - name: "Pieter W. M. Koopman"
    link: "https://researchr.org/alias/pieter-w.-m.-koopman"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11894100_2"
  links:
    doi: "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: "cefp"
  kind: "inproceedings"
  key: "KoopmanP05:0"
- title: "Explicit Message Passing for Concurrent Clean"
  author:
  - name: "Pascal R. Serrarens"
    link: "https://researchr.org/alias/pascal-r.-serrarens"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1595/15950229.htm"
  links:
    doi: "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: "IFL"
  kind: "inproceedings"
  key: "SerrarensP98"
- title: "Keep it Clean: A Unique Approach to Functional Programming"
  author:
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  - name: "Marko C. J. D. van Eekelen"
    link: "https://researchr.org/alias/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"
  volume: "34"
  number: "6"
  pages: "23-31"
  kind: "article"
  key: "PlasmeijerE99:0"
- title: "Generic Editors for the World Wide Web"
  author:
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  - name: "Peter Achten"
    link: "https://researchr.org/alias/peter-achten"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11894100_1"
  links:
    doi: "http://dx.doi.org/10.1007/11894100_1"
  researchr: "https://researchr.org/publication/PlasmeijerA05%3A0"
  cites: 0
  citedby: 0
  pages: "1-34"
  booktitle: "cefp"
  kind: "inproceedings"
  key: "PlasmeijerA05:0"
- title: "Systematic synthesis of functions"
  author:
  - name: "Pieter W. M. Koopman"
    link: "https://researchr.org/alias/pieter-w.-m.-koopman"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "2006"
  tags:
  - "systematic-approach"
  researchr: "https://researchr.org/publication/KoopmanP06%3A0"
  cites: 0
  citedby: 0
  pages: "35-54"
  booktitle: "sfp"
  kind: "inproceedings"
  key: "KoopmanP06:0"
- title: "Testing reactive systems with GAST"
  author:
  - name: "Pieter W. M. Koopman"
    link: "https://researchr.org/alias/pieter-w.-m.-koopman"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "2003"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/KoopmanP03"
  cites: 0
  citedby: 0
  pages: "111-129"
  booktitle: "sfp"
  kind: "inproceedings"
  key: "KoopmanP03"
- title: "iData for the World Wide Web - Programming Interconnected Web Forms"
  author:
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  - name: "Peter Achten"
    link: "https://researchr.org/alias/peter-achten"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11737414_17"
  links:
    doi: "http://dx.doi.org/10.1007/11737414_17"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/PlasmeijerA06"
  cites: 0
  citedby: 0
  pages: "242-258"
  booktitle: "FLOPS"
  kind: "inproceedings"
  key: "PlasmeijerA06"
- title: "A Functional Shell That Operates on Typed and Compiled Applications"
  author:
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  - name: "Arjen van Weelden"
    link: "https://researchr.org/alias/arjen-van-weelden"
  year: "2004"
  doi: "http://dx.doi.org/10.1007/11546382_6"
  links:
    doi: "http://dx.doi.org/10.1007/11546382_6"
  tags:
  - "compiler"
  researchr: "https://researchr.org/publication/PlasmeijerW04"
  cites: 0
  citedby: 0
  pages: "245-272"
  booktitle: "afp"
  kind: "inproceedings"
  key: "PlasmeijerW04"
- title: "Polygonizing Implicit Surfaces in a Purely Functional Way"
  author:
  - name: "Thorsten H.-G. Zörner"
    link: "https://researchr.org/alias/thorsten-h.-g.-z%C3%B6rner"
  - name: "Pieter W. M. Koopman"
    link: "https://researchr.org/alias/pieter-w.-m.-koopman"
  - name: "Marko C. J. D. van Eekelen"
    link: "https://researchr.org/alias/marko-c.-j.-d.-van-eekelen"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2011/20110158.htm"
  links:
    doi: "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: "IFL"
  kind: "inproceedings"
  key: "ZornerKEP00"
- title: "Uniqueness Typing Simplified"
  author:
  - name: "Edsko de Vries"
    link: "https://researchr.org/alias/edsko-de-vries"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  - name: "David M. Abrahamson"
    link: "https://researchr.org/alias/david-m.-abrahamson"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-85373-2_12"
  links:
    doi: "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: "IFL"
  kind: "inproceedings"
  key: "VriesPA07"
- title: "Towards a Strongly Typed Functional Operating System"
  author:
  - name: "Arjen van Weelden"
    link: "https://researchr.org/alias/arjen-van-weelden"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "2002"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2670&spage=215"
  links:
    doi: "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: "IFL"
  kind: "inproceedings"
  key: "WeeldenP02"
- title: "Proving Properties of Lazy Functional Programs with Sparkle"
  author:
  - name: "Maarten de Mol"
    link: "https://researchr.org/alias/maarten-de-mol"
  - name: "Marko C. J. D. van Eekelen"
    link: "https://researchr.org/alias/marko-c.-j.-d.-van-eekelen"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-88059-2_2"
  links:
    doi: "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: "cefp"
  kind: "inproceedings"
  key: "MolEP07"
- title: "Model-Based Testing of Thin-Client Web Applications and Navigation Input"
  author:
  - name: "Pieter W. M. Koopman"
    link: "https://researchr.org/alias/pieter-w.-m.-koopman"
  - name: "Peter Achten"
    link: "https://researchr.org/alias/peter-achten"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-77442-6_20"
  links:
    doi: "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: "PADL"
  kind: "inproceedings"
  key: "KoopmanAP08:0"
- title: "There and back again: arrows for invertible programming"
  author:
  - name: "Artem Alimarine"
    link: "https://researchr.org/alias/artem-alimarine"
  - name: "Sjaak Smetsers"
    link: "https://researchr.org/alias/sjaak-smetsers"
  - name: "Arjen van Weelden"
    link: "https://researchr.org/alias/arjen-van-weelden"
  - name: "Marko C. J. D. van Eekelen"
    link: "https://researchr.org/alias/marko-c.-j.-d.-van-eekelen"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1088348.1088357"
  links:
    doi: "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: "haskell"
  kind: "inproceedings"
  key: "AlimarineSWEP05"
- title: "LEAN: an intermediate language based on graph rewriting"
  author:
  - name: "Hendrik Pieter Barendregt"
    link: "https://researchr.org/alias/hendrik-pieter-barendregt"
  - name: "Marko C. J. D. van Eekelen"
    link: "https://researchr.org/alias/marko-c.-j.-d.-van-eekelen"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  - name: "John R. W. Glauert"
    link: "https://researchr.org/alias/john-r.-w.-glauert"
  - name: "Richard Kennaway"
    link: "https://researchr.org/alias/richard-kennaway"
  - name: "M. Ronan Sleep"
    link: "https://researchr.org/alias/m.-ronan-sleep"
  year: "1989"
  tags:
  - "rule-based"
  - "graph-rewriting"
  - "C++"
  - "rewriting"
  researchr: "https://researchr.org/publication/BarendregtEPGKS89"
  cites: 0
  citedby: 0
  journal: "pc"
  volume: "9"
  number: "2"
  pages: "163-177"
  kind: "article"
  key: "BarendregtEPGKS89"
- title: "Efficient interpretation by transforming data types and patterns to functions"
  author:
  - name: "Jan Martin Jansen"
    link: "https://researchr.org/alias/jan-martin-jansen"
  - name: "Pieter W. M. Koopman"
    link: "https://researchr.org/alias/pieter-w.-m.-koopman"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "2006"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/JansenKP06"
  cites: 0
  citedby: 0
  pages: "73-90"
  booktitle: "sfp"
  kind: "inproceedings"
  key: "JansenKP06"
- title: "Specification of reduction strategies in term rewriting systems"
  author:
  - name: "Marko C. J. D. van Eekelen"
    link: "https://researchr.org/alias/marko-c.-j.-d.-van-eekelen"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  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: "gr"
  kind: "inproceedings"
  key: "EekelenP86"
- title: "Graph Rewriting Semantics for Functional Programming Languages"
  author:
  - name: "Marko C. J. D. van Eekelen"
    link: "https://researchr.org/alias/marko-c.-j.-d.-van-eekelen"
  - name: "Sjaak Smetsers"
    link: "https://researchr.org/alias/sjaak-smetsers"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  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: "csl"
  kind: "inproceedings"
  key: "EekelenSP96"
- title: "Special Issue on State-of-the-Art Applications of Pure Functional Programming Languages"
  author:
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "1995"
  tags:
  - "programming languages"
  - "functional programming"
  - "programming"
  researchr: "https://researchr.org/publication/HartelP95"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "5"
  number: "3"
  pages: "279-281"
  kind: "article"
  key: "HartelP95"
- title: "Declarative Ajax and client side evaluation of workflows using iTasks"
  author:
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  - name: "Jan Martin Jansen"
    link: "https://researchr.org/alias/jan-martin-jansen"
  - name: "Pieter W. M. Koopman"
    link: "https://researchr.org/alias/pieter-w.-m.-koopman"
  - name: "Peter Achten"
    link: "https://researchr.org/alias/peter-achten"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1389449.1389457"
  links:
    doi: "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: "ppdp"
  kind: "inproceedings"
  key: "PlasmeijerJKA08"
- title: "Model-Based Testing of Thin-Client Web Applications"
  author:
  - name: "Pieter W. M. Koopman"
    link: "https://researchr.org/alias/pieter-w.-m.-koopman"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  - name: "Peter Achten"
    link: "https://researchr.org/alias/peter-achten"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11940197_8"
  links:
    doi: "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: "fates"
  kind: "inproceedings"
  key: "KoopmanPA06"
- title: "Generic Graphical User Interfaces"
  author:
  - name: "Peter Achten"
    link: "https://researchr.org/alias/peter-achten"
  - name: "Marko C. J. D. van Eekelen"
    link: "https://researchr.org/alias/marko-c.-j.-d.-van-eekelen"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3145&spage=152"
  links:
    doi: "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: "IFL"
  kind: "inproceedings"
  key: "AchtenD03"
- title: "Polytypic Syntax Tree Operations"
  author:
  - name: "Arjen van Weelden"
    link: "https://researchr.org/alias/arjen-van-weelden"
  - name: "Sjaak Smetsers"
    link: "https://researchr.org/alias/sjaak-smetsers"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11964681_9"
  links:
    doi: "http://dx.doi.org/10.1007/11964681_9"
  tags:
  - "polytypic"
  researchr: "https://researchr.org/publication/WeeldenSP05"
  cites: 0
  citedby: 0
  pages: "142-159"
  booktitle: "IFL"
  kind: "inproceedings"
  key: "WeeldenSP05"
- title: "iTasks: executable specifications of interactive work flow systems for the web"
  author:
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  - name: "Peter Achten"
    link: "https://researchr.org/alias/peter-achten"
  - name: "Pieter W. M. Koopman"
    link: "https://researchr.org/alias/pieter-w.-m.-koopman"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1291151.1291174"
  links:
    doi: "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: "ICFP"
  kind: "inproceedings"
  key: "PlasmeijerAK07"
- title: "Term Graph Rewriting"
  author:
  - name: "Hendrik Pieter Barendregt"
    link: "https://researchr.org/alias/hendrik-pieter-barendregt"
  - name: "Marko C. J. D. van Eekelen"
    link: "https://researchr.org/alias/marko-c.-j.-d.-van-eekelen"
  - name: "John R. W. Glauert"
    link: "https://researchr.org/alias/john-r.-w.-glauert"
  - name: "Richard Kennaway"
    link: "https://researchr.org/alias/richard-kennaway"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  - name: "M. Ronan Sleep"
    link: "https://researchr.org/alias/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"
  kind: "inproceedings"
  key: "BarendregtEGKPS87"
- title: "The Implementation of Interactive Local State Transition Systems in Clean"
  author:
  - name: "Peter Achten"
    link: "https://researchr.org/alias/peter-achten"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "1999"
  researchr: "https://researchr.org/publication/AchtenP99"
  cites: 0
  citedby: 0
  pages: "115-130"
  booktitle: "IFL"
  kind: "inproceedings"
  key: "AchtenP99"
- title: "Parallel Graph Rewriting on Loosely Coupled Machine Architectures"
  author:
  - name: "Marko C. J. D. van Eekelen"
    link: "https://researchr.org/alias/marko-c.-j.-d.-van-eekelen"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  - name: "J. E. W. Smetsers"
    link: "https://researchr.org/alias/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: "ctrs"
  kind: "inproceedings"
  key: "EekelenPS90"
- title: "Validating Specifications for Model-Based Testing"
  author:
  - name: "Pieter W. M. Koopman"
    link: "https://researchr.org/alias/pieter-w.-m.-koopman"
  - name: "Peter Achten"
    link: "https://researchr.org/alias/peter-achten"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "2008"
  tags:
  - "rule-based"
  - "testing"
  researchr: "https://researchr.org/publication/KoopmanAP08"
  cites: 0
  citedby: 0
  pages: "225-231"
  booktitle: "serp"
  kind: "inproceedings"
  key: "KoopmanAP08"
- title: "Disjoint forms in graphical user interfaces"
  author:
  - name: "Sander Evers"
    link: "https://researchr.org/alias/sander-evers"
  - name: "Peter Achten"
    link: "https://researchr.org/alias/peter-achten"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "2004"
  researchr: "https://researchr.org/publication/EversAP04"
  cites: 0
  citedby: 0
  pages: "113-128"
  booktitle: "sfp"
  kind: "inproceedings"
  key: "EversAP04"
- title: "The Ins and Outs of Clean I/O"
  author:
  - name: "Peter Achten"
    link: "https://researchr.org/alias/peter-achten"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "1995"
  researchr: "https://researchr.org/publication/AchtenP95"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "5"
  number: "1"
  pages: "81-110"
  kind: "article"
  key: "AchtenP95"
- title: "A Functional Shell That Dynamically Combines Compiled Code"
  author:
  - name: "Arjen van Weelden"
    link: "https://researchr.org/alias/arjen-van-weelden"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3145&spage=36"
  links:
    doi: "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: "IFL"
  kind: "inproceedings"
  key: "WeeldenP03"
- title: "Efficient Distributed Memory Implementation of a Data Parallel Functional Language"
  author:
  - name: "Herbert Kuchen"
    link: "https://researchr.org/alias/herbert-kuchen"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  - name: "Holger Stoltze"
    link: "https://researchr.org/alias/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"
  kind: "inproceedings"
  key: "KuchenPS94"
- title: "Automatic Generation of Editors for Higher-Order Data Structures"
  author:
  - name: "Peter Achten"
    link: "https://researchr.org/alias/peter-achten"
  - name: "Marko C. J. D. van Eekelen"
    link: "https://researchr.org/alias/marko-c.-j.-d.-van-eekelen"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  - name: "Arjen van Weelden"
    link: "https://researchr.org/alias/arjen-van-weelden"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3302&spage=262"
  links:
    doi: "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: "aplas"
  kind: "inproceedings"
  key: "AchtenEPW04:0"
- title: "The Implementation of iData"
  author:
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  - name: "Peter Achten"
    link: "https://researchr.org/alias/peter-achten"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11964681_7"
  links:
    doi: "http://dx.doi.org/10.1007/11964681_7"
  researchr: "https://researchr.org/publication/PlasmeijerA05"
  cites: 0
  citedby: 0
  pages: "106-123"
  booktitle: "IFL"
  kind: "inproceedings"
  key: "PlasmeijerA05"
- title: "Efficient Combinator Parsers"
  author:
  - name: "Pieter W. M. Koopman"
    link: "https://researchr.org/alias/pieter-w.-m.-koopman"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1595/15950120.htm"
  links:
    doi: "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: "IFL"
  kind: "inproceedings"
  key: "KoopmanP98"
- title: "Generic generation of the elements of data types"
  author:
  - name: "Pieter W. M. Koopman"
    link: "https://researchr.org/alias/pieter-w.-m.-koopman"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "2005"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/KoopmanP05"
  cites: 0
  citedby: 0
  pages: "163-178"
  booktitle: "sfp"
  kind: "inproceedings"
  key: "KoopmanP05"
- title: "An Introduction to iTasks: Defining Interactive Work Flows for the Web"
  author:
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  - name: "Peter Achten"
    link: "https://researchr.org/alias/peter-achten"
  - name: "Pieter W. M. Koopman"
    link: "https://researchr.org/alias/pieter-w.-m.-koopman"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-88059-2_1"
  links:
    doi: "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: "cefp"
  kind: "inproceedings"
  key: "PlasmeijerAK07:0"
- title: "CLEAN: a programming environment based on term graph rewriting"
  author:
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "1995"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/27/23/show/Products/notes/index.htt#027"
  links:
    doi: "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: "ENTCS"
  volume: "2"
  pages: "215-221"
  kind: "article"
  key: "Plasmeijer95"
- title: "From Interpretation to Compilation"
  author:
  - name: "Jan Martin Jansen"
    link: "https://researchr.org/alias/jan-martin-jansen"
  - name: "Pieter W. M. Koopman"
    link: "https://researchr.org/alias/pieter-w.-m.-koopman"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-88059-2_8"
  links:
    doi: "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: "cefp"
  kind: "inproceedings"
  key: "JansenKP07"
- title: "Uniqueness Typing Redefined"
  author:
  - name: "Edsko de Vries"
    link: "https://researchr.org/alias/edsko-de-vries"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  - name: "David M. Abrahamson"
    link: "https://researchr.org/alias/david-m.-abrahamson"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/978-3-540-74130-5_11"
  links:
    doi: "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: "IFL"
  kind: "inproceedings"
  key: "VriesPA06"
- 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:
  - name: "Zoltán Horváth"
    link: "https://researchr.org/alias/zolt%C3%A1n-horv%C3%A1th"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  - name: "Anna Soós"
    link: "https://researchr.org/alias/anna-so%C3%B3s"
  - name: "Viktória Zsók"
    link: "https://researchr.org/alias/vikt%C3%B3ria-zs%C3%B3k"
  volume: "5161"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-88058-5"
  kind: "proceedings"
  key: "cefp:2007"
- 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:
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Marinus J. Plasmeijer"
    link: "http://www.cs.ru.nl/~rinus/"
  volume: "1022"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60675-0"
  kind: "proceedings"
  key: "fple:1995"