publications:
- title: "Canonical Forms in Interactive Exercise Assistants"
  author:
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-02614-0_27"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-02614-0_27"
  researchr: "https://researchr.org/publication/HeerenJ09-0"
  cites: 0
  citedby: 0
  pages: "325-340"
  booktitle: "mkm"
  kind: "inproceedings"
  key: "HeerenJ09-0"
- title: "Comparing libraries for generic programming in haskell"
  author:
  - name: "Alexey Rodriguez"
    link: "http://arodriguezyakushev.wordpress.com/"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Patrik Jansson"
    link: "http://www.chalmers.se/cse/EN/people/jansson-patrik"
  - name: "Alex Gerdes"
    link: "http://www.haksell.org/"
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Bruno C. d. S. Oliveira"
    link: "http://ropas.snu.ac.kr/~bruno/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1411286.1411301"
  abstract: "Datatype-generic programming is defining functions that depend on the structure, or \"shape\", of datatypes. It has been around for more than 10 years, and a lot of progress has been made, in particular in the lazy functional programming language Haskell. There are morethan 10 proposals for generic programming libraries orlanguage extensions for Haskell. To compare and characterise the many generic programming libraries in atyped functional language, we introduce a set of criteria and develop a generic programming benchmark: a set of characteristic examples testing various facets of datatype-generic programming. We have implemented the benchmark for nine existing Haskell generic programming libraries and present the evaluation of the libraries. The comparison is useful for reaching a common standard for generic programming, but also for a programmer who has to choose a particular approach for datatype-generic programming."
  links:
    doi: "http://doi.acm.org/10.1145/1411286.1411301"
  tags:
  - "laziness"
  - "programming languages"
  - "generic programming"
  - "functional programming"
  - "testing"
  - "Haskell"
  - "C++"
  - "programming"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/RodriguezJJGKO08"
  cites: 0
  citedby: 0
  pages: "111-122"
  booktitle: "haskell"
  kind: "inproceedings"
  key: "RodriguezJJGKO08"
- title: "Polytypic Unification"
  author:
  - name: "Patrik Jansson"
    link: "http://www.chalmers.se/cse/EN/people/jansson-patrik"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  year: "1998"
  tags:
  - "polytypic"
  researchr: "https://researchr.org/publication/JanssonJ98"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "8"
  number: "5"
  pages: "527-536"
  kind: "article"
  key: "JanssonJ98"
- title: "Generic Haskell: Practice and Theory"
  author:
  - name: "Ralf Hinze"
    link: "https://researchr.org/alias/ralf-hinze"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2793&spage=1"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2793&spage=1"
  tags:
  - "Haskell"
  researchr: "https://researchr.org/publication/HinzeJ03"
  cites: 0
  citedby: 0
  pages: "1-56"
  booktitle: "ac"
  kind: "inproceedings"
  key: "HinzeJ03"
- title: "Merging Monads and Folds for Functional Programming"
  author:
  - name: "Erik Meijer"
    link: "https://researchr.org/alias/erik-meijer"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  year: "1995"
  tags:
  - "functional programming"
  - "programming"
  researchr: "https://researchr.org/publication/MeijerJ95"
  cites: 0
  citedby: 0
  pages: "228-266"
  booktitle: "afp"
  kind: "inproceedings"
  key: "MeijerJ95"
- title: "The Derivation of On-Line Algorithms, with an Application To Finding Palindromes"
  author:
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  year: "1994"
  researchr: "https://researchr.org/publication/Jeuring94"
  cites: 0
  citedby: 0
  journal: "algorithmica"
  volume: "11"
  number: "2"
  pages: "146-184"
  kind: "article"
  key: "Jeuring94"
- title: "Testing type class laws"
  author:
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Patrik Jansson"
    link: "https://researchr.org/alias/patrik-jansson"
  - name: "Cláudio Amaral"
    link: "https://researchr.org/alias/cl%C3%A1udio-amaral"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2364506.2364514"
  links:
    doi: "http://doi.acm.org/10.1145/2364506.2364514"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/JeuringJA12"
  researchr: "https://researchr.org/publication/JeuringJA12"
  cites: 0
  citedby: 0
  pages: "49-60"
  booktitle: "haskell"
  kind: "inproceedings"
  key: "JeuringJA12"
- title: "Constructing Strategies for Programming"
  author:
  - name: "Alex Gerdes"
    link: "https://researchr.org/alias/alex-gerdes"
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  year: "2009"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/GerdesHJ09"
  cites: 0
  citedby: 0
  pages: "65-72"
  booktitle: "csedu"
  kind: "inproceedings"
  key: "GerdesHJ09"
- title: "UUXML: A Type-Preserving XML Schema-Haskell Data Binding"
  author:
  - name: "Frank Atanassow"
    link: "https://researchr.org/alias/frank-atanassow"
  - name: "Dave Clarke"
    link: "http://www.cs.kuleuven.be/~dave/"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3057&spage=71"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3057&spage=71"
  tags:
  - "XML"
  - "XML Schema"
  - "Haskell"
  researchr: "https://researchr.org/publication/AtanassowCJ04"
  cites: 0
  citedby: 0
  pages: "71-85"
  booktitle: "PADL"
  kind: "inproceedings"
  key: "AtanassowCJ04"
- title: "The Generic Haskell User's Guide"
  author:
  - name: "Dave Clarke"
    link: "http://www.cs.kuleuven.be/~dave/"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Andres Löh"
    link: "http://people.cs.uu.nl/andres/"
  year: "2001"
  tags:
  - "Haskell"
  researchr: "https://researchr.org/publication/Clarke01thegeneric"
  cites: 0
  citedby: 0
  kind: "misc"
  key: "Clarke01thegeneric"
- title: "Generic selections of subexpressions"
  author:
  - name: "Martijn Van Steenbergen"
    link: "https://researchr.org/alias/martijn-van-steenbergen"
  - name: "José Pedro Magalhães"
    link: "https://researchr.org/alias/jos%C3%A9-pedro-magalh%C3%A3es"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1863495.1863501"
  links:
    doi: "http://doi.acm.org/10.1145/1863495.1863501"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/SteenbergenMJ10"
  researchr: "https://researchr.org/publication/SteenbergenMJ10"
  cites: 0
  citedby: 0
  pages: "37-48"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "SteenbergenMJ10"
- title: "Finding Palindromes: Variants and Algorithms"
  author:
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/978-3-642-40355-2_18"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-40355-2_18"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/birthday/Jeuring13"
  researchr: "https://researchr.org/publication/Jeuring13"
  cites: 0
  citedby: 0
  pages: "258-272"
  booktitle: "BIRTHDAY"
  kind: "inproceedings"
  key: "Jeuring13"
- title: "Weaving a web"
  author:
  - name: "Ralf Hinze"
    link: "https://researchr.org/alias/ralf-hinze"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  year: "2001"
  tags:
  - "weaving"
  researchr: "https://researchr.org/publication/HinzeJ01"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "11"
  number: "6"
  pages: "681-689"
  kind: "article"
  key: "HinzeJ01"
- title: "Specifying Rewrite Strategies for Interactive Exercises"
  author:
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Alex Gerdes"
    link: "https://researchr.org/alias/alex-gerdes"
  year: "2010"
  doi: "http://springerlink.metapress.com/content/c204312110034814/"
  links:
    doi: "http://springerlink.metapress.com/content/c204312110034814/"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/mics/HeerenJG10"
  tags:
  - "graph-rewriting"
  - "rewriting"
  - "rewriting strategies"
  researchr: "https://researchr.org/publication/HeerenJG10"
  cites: 0
  citedby: 0
  journal: "mics"
  volume: "3"
  number: "3"
  pages: "349-370"
  kind: "article"
  key: "HeerenJG10"
- title: "Interleaving Strategies"
  author:
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/978-3-642-22673-1_14"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-22673-1_14"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/mkm/HeerenJ11"
  researchr: "https://researchr.org/publication/HeerenJ11"
  cites: 0
  citedby: 0
  pages: "196-211"
  booktitle: "mkm"
  kind: "inproceedings"
  key: "HeerenJ11"
- title: "Optimizing generics is easy!"
  author:
  - name: "José Pedro Magalhães"
    link: "https://researchr.org/alias/jos%C3%A3%C2%A9-pedro-magalh%C3%A3%C2%A3es"
  - name: "Stefan Holdermans"
    link: "https://researchr.org/alias/stefan-holdermans"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Andres Löh"
    link: "https://researchr.org/alias/andres-l%C3%A3%C2%B6h"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1706356.1706366"
  links:
    doi: "http://doi.acm.org/10.1145/1706356.1706366"
  tags:
  - "optimization"
  researchr: "https://researchr.org/publication/MagalhaesHJL10"
  cites: 0
  citedby: 0
  pages: "33-42"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "MagalhaesHJL10"
- title: "Testing Properties of Generic Functions"
  author:
  - name: "Patrik Jansson"
    link: "http://www.chalmers.se/cse/EN/people/jansson-patrik"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Laurence Cabenda"
    link: "https://researchr.org/alias/laurence-cabenda"
  - name: "Gerbo Engels"
    link: "https://researchr.org/alias/gerbo-engels"
  - name: "Jacob Kleerekoper"
    link: "https://researchr.org/alias/jacob-kleerekoper"
  - name: "Sander Mak"
    link: "https://researchr.org/alias/sander-mak"
  - name: "Michiel Overeem"
    link: "https://researchr.org/alias/michiel-overeem"
  - name: "Kees Visser"
    link: "https://researchr.org/alias/kees-visser"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/978-3-540-74130-5_13"
  abstract: "A datatype-generic function is a family of functions indexed by (the structure of) a type. Examples include equality tests, maps and pretty printers. Property based testing tools like QuickCheck and Gast support the definition of properties and test-data generators, and they check if a monomorphic property is satisfied by the test cases. Generic functions satisfy generic properties and this paper discusses specifying and testing such properties. It shows how generic properties and generators can be expressed, and explains three bugs we found and corrected in the Generic Haskell library. "
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-74130-5_13"
  tags:
  - "rule-based"
  - "testing"
  - "Haskell"
  - "data-flow"
  - "type checking"
  - "QuickCheck"
  researchr: "https://researchr.org/publication/JanssonJCEKMOV06"
  cites: 0
  citedby: 0
  pages: "217-234"
  booktitle: "IFL"
  kind: "inproceedings"
  key: "JanssonJCEKMOV06"
- title: "Dependency-style generic haskell"
  author:
  - name: "Andres Löh"
    link: "https://researchr.org/alias/andres-l%C3%A3%C2%B6h"
  - name: "Dave Clarke"
    link: "http://www.cs.kuleuven.be/~dave/"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/944746.944719"
  links:
    doi: "http://doi.acm.org/10.1145/944746.944719"
  tags:
  - "Haskell"
  researchr: "https://researchr.org/publication/LohCJ03-0"
  cites: 0
  citedby: 0
  journal: "SIGPLAN"
  volume: "38"
  number: "9"
  pages: "141-152"
  kind: "article"
  key: "LohCJ03-0"
- title: "Optimizing Generics Is Easy!"
  author:
  - name: "José Pedro Magalhães"
    link: "http://dreixel.net/index.php?content=research"
  - name: "Stefan Holdermans"
    link: "https://researchr.org/alias/stefan-holdermans"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Andres Löh"
    link: "https://researchr.org/alias/andres-l%C3%B6h"
  tags:
  - "optimization"
  researchr: "https://researchr.org/publication/Magalhes%3APEPM%3A2010"
  cites: 0
  citedby: 0
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "Magalhes:PEPM:2010"
- title: "A lightweight approach to datatype-generic rewriting"
  author:
  - name: "Thomas van Noort"
    link: "https://researchr.org/alias/thomas-van-noort"
  - name: "Alexey Rodriguez Yakushev"
    link: "https://researchr.org/alias/alexey-rodriguez-yakushev"
  - name: "Stefan Holdermans"
    link: "https://researchr.org/alias/stefan-holdermans"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  - name: "José Pedro Magalhães"
    link: "https://researchr.org/alias/jos%C3%A9-pedro-magalh%C3%A3es"
  year: "2010"
  doi: "http://dx.doi.org/10.1017/S0956796810000183"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796810000183"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jfp/NoortYHJHM10"
  tags:
  - "graph-rewriting"
  - "rewriting"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/NoortYHJHM10"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "20"
  number: "3-4"
  pages: "375-413"
  kind: "article"
  key: "NoortYHJHM10"
- title: "Ask-Elle: A Haskell Tutor - Demonstration"
  author:
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Alex Gerdes"
    link: "https://researchr.org/alias/alex-gerdes"
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-33263-0_42"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-33263-0_42"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ectel/JeuringGH12"
  researchr: "https://researchr.org/publication/JeuringGH12"
  cites: 0
  citedby: 0
  pages: "453-458"
  booktitle: "ectel"
  kind: "inproceedings"
  key: "JeuringGH12"
- title: "Typed Contracts for Functional Programming"
  author:
  - name: "Ralf Hinze"
    link: "https://researchr.org/alias/ralf-hinze"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Andres Löh"
    link: "http://people.cs.uu.nl/andres/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11737414_15"
  abstract: "A robust software component fulfills a contract: it expects data satisfying a certain property and promises to return data satisfying another property. The object-oriented community uses the design-by-contract approach extensively. Proposals for language extensions that add contracts to higher-order functional programming have appeared recently. In this paper we propose an embedded domain-specific language for typed, higher-order and first-class contracts, which is both more expressive than previous proposals, and allows for better blame assignment. We take some first steps towards an algebra of contracts, and we show how to define a generic contract combinator for arbitrary algebraic data types. The contract language is implemented as a library in Haskell using the concept of generalised algebraic data types. "
  links:
    doi: "http://dx.doi.org/10.1007/11737414_15"
  tags:
  - "programming languages"
  - "object-oriented programming"
  - "meta programming"
  - "data-flow language"
  - "generic programming"
  - "software components"
  - "contracts"
  - "embedded software"
  - "functional programming"
  - "software component"
  - "language design"
  - "Haskell"
  - "data-flow programming"
  - "data-flow"
  - " algebra"
  - "programming"
  - "subject-oriented programming"
  - "Meta-Environment"
  - "software contracts"
  - "design"
  - "systematic-approach"
  - "feature-oriented programming"
  - "meta-objects"
  - "domain-specific language"
  researchr: "https://researchr.org/publication/HinzeJL06"
  cites: 0
  citedby: 0
  pages: "208-225"
  booktitle: "FLOPS"
  kind: "inproceedings"
  key: "HinzeJL06"
- title: "Generic programming with fixed points for mutually recursive datatypes"
  author:
  - name: "Alexey Rodriguez Yakushev"
    link: "https://researchr.org/alias/alexey-rodriguez-yakushev"
  - name: "Stefan Holdermans"
    link: "https://researchr.org/alias/stefan-holdermans"
  - name: "Andres Löh"
    link: "https://researchr.org/alias/andres-l%C3%A3%C2%B6h"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1596550.1596585"
  links:
    doi: "http://doi.acm.org/10.1145/1596550.1596585"
  tags:
  - "generic programming"
  - "programming"
  researchr: "https://researchr.org/publication/YakushevHLJ09"
  cites: 0
  citedby: 0
  pages: "233-244"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "YakushevHLJ09"
- title: "A lightweight approach to datatype-generic rewriting"
  author:
  - name: "Thomas van Noort"
    link: "https://researchr.org/alias/thomas-van-noort"
  - name: "Alexey Rodriguez"
    link: "https://researchr.org/alias/alexey-rodriguez"
  - name: "Stefan Holdermans"
    link: "https://researchr.org/alias/stefan-holdermans"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1411318.1411321"
  links:
    doi: "http://doi.acm.org/10.1145/1411318.1411321"
  tags:
  - "graph-rewriting"
  - "rewriting"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/NoortRHJH08"
  cites: 0
  citedby: 0
  pages: "13-24"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "NoortRHJH08"
- title: "Using Schema Analysis for Feedback in Authoring Tools for Learning Environments"
  author:
  - name: "Harrie Passier"
    link: "https://researchr.org/alias/harrie-passier"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  year: "2005"
  tags:
  - "XML"
  - "XML Schema"
  - "analysis"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/PassierJ05"
  cites: 0
  citedby: 0
  pages: "911-913"
  booktitle: "aied"
  kind: "inproceedings"
  key: "PassierJ05"
- title: "Dependency-style generic Haskell"
  author:
  - name: "Andres Löh"
    link: "http://people.cs.uu.nl/andres/"
  - name: "Dave Clarke"
    link: "http://www.cs.kuleuven.be/~dave/"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/944705.944719"
  links:
    doi: "http://doi.acm.org/10.1145/944705.944719"
  tags:
  - "Haskell"
  researchr: "https://researchr.org/publication/LohCJ03"
  cites: 0
  citedby: 0
  pages: "141-152"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "LohCJ03"
- title: "Generating generic functions"
  author:
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Alexey Rodriguez"
    link: "https://researchr.org/alias/alexey-rodriguez"
  - name: "Gideon Smeding"
    link: "https://researchr.org/alias/gideon-smeding"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1159861.1159865"
  links:
    doi: "http://doi.acm.org/10.1145/1159861.1159865"
  researchr: "https://researchr.org/publication/JeuringRS06"
  cites: 0
  citedby: 0
  pages: "23-32"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "JeuringRS06"
- title: "An interactive functional programming tutor"
  author:
  - name: "Alex Gerdes"
    link: "https://researchr.org/alias/alex-gerdes"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2325296.2325356"
  links:
    doi: "http://doi.acm.org/10.1145/2325296.2325356"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/iticse/GerdesJH12"
  researchr: "https://researchr.org/publication/GerdesJH12"
  cites: 0
  citedby: 0
  pages: "250-255"
  booktitle: "iticse"
  kind: "inproceedings"
  key: "GerdesJH12"
- title: "Probability estimation and a competence model for rule based e-tutoring systems"
  author:
  - name: "Diederik M. Roijers"
    link: "https://researchr.org/alias/diederik-m.-roijers"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Ad Feelders"
    link: "https://researchr.org/alias/ad-feelders"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2330601.2330663"
  links:
    doi: "http://doi.acm.org/10.1145/2330601.2330663"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/lak/RoijersJF12"
  researchr: "https://researchr.org/publication/RoijersJF12"
  cites: 0
  citedby: 0
  pages: "255-258"
  booktitle: "LAK"
  kind: "inproceedings"
  key: "RoijersJF12"
- title: "Constructing Functional Programs for Grammar Analysis Problems"
  author:
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "1995"
  tags:
  - "program analysis"
  - "functional programming"
  - "analysis"
  - "grammar"
  researchr: "https://researchr.org/publication/JeuringS95"
  cites: 0
  citedby: 0
  pages: "259-269"
  booktitle: "fpca"
  kind: "inproceedings"
  key: "JeuringS95"
- title: "Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell"
  author:
  - name: "Frank Atanassow"
    link: "https://researchr.org/alias/frank-atanassow"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.scico.2006.01.005"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2006.01.005"
  tags:
  - "type inference"
  - "XML"
  - "XML Schema"
  - "Haskell"
  - "data-flow"
  researchr: "https://researchr.org/publication/AtanassowJ07"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "65"
  number: "2"
  pages: "72-107"
  kind: "article"
  key: "AtanassowJ07"
- title: "Type-changing rewriting and semantics-preserving transformation"
  author:
  - name: "Sean Leather"
    link: "https://researchr.org/alias/sean-leather"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Andres Löh"
    link: "https://researchr.org/alias/andres-l%C3%B6h"
  - name: "Bram Schuur"
    link: "https://researchr.org/alias/bram-schuur"
  year: "2014"
  doi: "http://doi.acm.org/10.1145/2543728.2543734"
  links:
    doi: "http://doi.acm.org/10.1145/2543728.2543734"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pepm/LeatherJLS14"
  researchr: "https://researchr.org/publication/LeatherJLS14"
  cites: 0
  citedby: 0
  pages: "109-120"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "LeatherJLS14"
- title: "Inferring Type Isomorphisms Generically"
  author:
  - name: "Frank Atanassow"
    link: "https://researchr.org/alias/frank-atanassow"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3125&spage=32"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3125&spage=32"
  researchr: "https://researchr.org/publication/AtanassowJ04"
  cites: 0
  citedby: 0
  pages: "32-53"
  booktitle: "mpc"
  kind: "inproceedings"
  key: "AtanassowJ04"
- title: "A Programming Tutor for Haskell"
  author:
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Alex Gerdes"
    link: "https://researchr.org/alias/alex-gerdes"
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/978-3-642-32096-5_1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-32096-5_1"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cefp/JeuringGH11"
  researchr: "https://researchr.org/publication/JeuringGH11"
  cites: 0
  citedby: 0
  pages: "1-45"
  booktitle: "cefp"
  kind: "inproceedings"
  key: "JeuringGH11"
- title: "Adapting Mathematical Domain Reasoners"
  author:
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-14128-7_27"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-14128-7_27"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/aisc/HeerenJ10"
  researchr: "https://researchr.org/publication/HeerenJ10"
  cites: 0
  citedby: 0
  pages: "315-330"
  booktitle: "AISC"
  kind: "inproceedings"
  key: "HeerenJ10"
- title: "A generic deriving mechanism for Haskell"
  author:
  - name: "José Pedro Magalhães"
    link: "https://researchr.org/alias/jos%C3%A9-pedro-magalh%C3%A3es"
  - name: "Atze Dijkstra"
    link: "https://researchr.org/alias/atze-dijkstra"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Andres Löh"
    link: "https://researchr.org/alias/andres-l%C3%B6h"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1863523.1863529"
  links:
    doi: "http://doi.acm.org/10.1145/1863523.1863529"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/MagalhaesDJL10"
  researchr: "https://researchr.org/publication/MagalhaesDJL10"
  cites: 0
  citedby: 0
  pages: "37-48"
  booktitle: "haskell"
  kind: "inproceedings"
  key: "MagalhaesDJL10"
- title: "Generic Programming: An Introduction"
  author:
  - name: "Roland Carl Backhouse"
    link: "https://researchr.org/alias/roland-carl-backhouse"
  - name: "Patrik Jansson"
    link: "http://www.chalmers.se/cse/EN/people/jansson-patrik"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Lambert G. L. T. Meertens"
    link: "https://researchr.org/alias/lambert-g.-l.-t.-meertens"
  year: "1998"
  tags:
  - "generic programming"
  - "programming"
  researchr: "https://researchr.org/publication/BackhouseJJM98"
  cites: 0
  citedby: 0
  pages: "28-115"
  booktitle: "afp"
  kind: "inproceedings"
  key: "BackhouseJJM98"
- title: "Polytypic Programming"
  author:
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Patrik Jansson"
    link: "http://www.chalmers.se/cse/EN/people/jansson-patrik"
  year: "1996"
  tags:
  - "polytypic programming"
  - "Haskell"
  - " QML"
  - "programming"
  - "polytypic"
  researchr: "https://researchr.org/publication/JeuringJ96"
  cites: 0
  citedby: 0
  pages: "68-114"
  booktitle: "afp"
  kind: "inproceedings"
  key: "JeuringJ96"
- title: "Generic Programming for Domain Reasoners"
  author:
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "José Pedro Magalhães"
    link: "https://researchr.org/alias/jos%C3%A9-pedro-magalh%C3%A3es"
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  year: "2009"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sfp/JeuringMH09"
  researchr: "https://researchr.org/publication/JeuringMH09"
  cites: 0
  citedby: 0
  pages: "113-128"
  booktitle: "sfp"
  kind: "inproceedings"
  key: "JeuringMH09"
- title: "Teachers and Students in Charge - Using Annotated Model Solutions in a Functional Programming Tutor"
  author:
  - name: "Alex Gerdes"
    link: "https://researchr.org/alias/alex-gerdes"
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-33263-0_31"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-33263-0_31"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ectel/GerdesHJ12"
  researchr: "https://researchr.org/publication/GerdesHJ12"
  cites: 0
  citedby: 0
  pages: "383-388"
  booktitle: "ectel"
  kind: "inproceedings"
  key: "GerdesHJ12"
- title: "Polytypic Pattern Matching"
  author:
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  year: "1995"
  tags:
  - "pattern matching"
  - "polytypic"
  researchr: "https://researchr.org/publication/Jeuring95"
  cites: 0
  citedby: 0
  pages: "238-248"
  booktitle: "fpca"
  kind: "inproceedings"
  key: "Jeuring95"
- title: "Polyp - A Polytypic Programming Language"
  author:
  - name: "Patrik Jansson"
    link: "http://www.chalmers.se/cse/EN/people/jansson-patrik"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  year: "1997"
  doi: "http://doi.acm.org/10.1145/263699.263763"
  links:
    doi: "http://doi.acm.org/10.1145/263699.263763"
  tags:
  - "programming languages"
  - "polytypic programming"
  - "programming"
  - "polytypic"
  researchr: "https://researchr.org/publication/JanssonJ97"
  cites: 0
  citedby: 0
  pages: "470-482"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "JanssonJ97"
- title: "Type-Indexed Data Types"
  author:
  - name: "Ralf Hinze"
    link: "https://researchr.org/alias/ralf-hinze"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Andres Löh"
    link: "http://people.cs.uu.nl/andres/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2386/23860148.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2386/23860148.htm"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/HinzeJL02"
  cites: 0
  citedby: 0
  pages: "148-174"
  booktitle: "mpc"
  kind: "inproceedings"
  key: "HinzeJL02"
- title: "Generic Views on Data Types"
  author:
  - name: "Stefan Holdermans"
    link: "https://researchr.org/alias/stefan-holdermans"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Andres Löh"
    link: "http://people.cs.uu.nl/andres/"
  - name: "Alexey Rodriguez"
    link: "https://researchr.org/alias/alexey-rodriguez"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11783596_14"
  abstract: "A generic function is defined by induction on the structure of types. The structure of a data type can be defined in several ways. For example, in PolyP a pattern functor gives the structure of a data type viewed as a fixed point, and in Generic Haskell a structural representation type gives an isomorphic type view of a data type in terms of sums of products.  Depending on this generic view on the structure of data types, some generic functions are easier, more difficult, or even impossible to define. Furthermore, the efficiency of some generic functions can be improved by choosing a different view. This paper introduces generic views on data types and shows why they are useful. Furthermore, it shows how generic views have been added to Generic Haskell, an extension of the functional programming language Haskell that supports the construction of generic functions. The separation between inductive definitions on type structure and generic views allows us to combine many approaches to generic programming in a single framework. "
  links:
    doi: "http://dx.doi.org/10.1007/11783596_14"
  tags:
  - "programming languages"
  - "data-flow language"
  - "pattern language"
  - "generic programming"
  - "functional programming"
  - "Haskell"
  - "data-flow programming"
  - "data-flow"
  - "programming"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/HoldermansJLR06"
  cites: 0
  citedby: 0
  pages: "209-234"
  booktitle: "mpc"
  kind: "inproceedings"
  key: "HoldermansJLR06"
- title: "Polytypic Compact Printing and Parsing"
  author:
  - name: "Patrik Jansson"
    link: "http://www.chalmers.se/cse/EN/people/jansson-patrik"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1576/15760273.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1576/15760273.htm"
  tags:
  - "polytypic"
  - "parsing"
  researchr: "https://researchr.org/publication/JanssonJ99"
  cites: 0
  citedby: 0
  pages: "273-287"
  booktitle: "ESOP"
  kind: "inproceedings"
  key: "JanssonJ99"
- title: "Bottom-up Grammar Analysis - A Functional Formulation"
  author:
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "1994"
  tags:
  - "analysis"
  - "grammar"
  researchr: "https://researchr.org/publication/JeuringS94"
  cites: 0
  citedby: 0
  pages: "317-332"
  booktitle: "ESOP"
  kind: "inproceedings"
  key: "JeuringS94"
- title: "Report on the tenth ICFP programming contest"
  author:
  - name: "Eelco  Dolstra"
    link: "https://researchr.org/profile/eelcodolstra/publications"
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  - name: "Stefan Holdermans"
    link: "https://researchr.org/alias/stefan-holdermans"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Andres Löh"
    link: "http://people.cs.uu.nl/andres/"
  - name: "Clara Löh"
    link: "https://researchr.org/alias/clara-l%C3%B6h"
  - name: "Arie Middelkoop"
    link: "https://researchr.org/alias/arie-middelkoop"
  - name: "Alexey Rodriguez"
    link: "https://researchr.org/alias/alexey-rodriguez"
  - name: "John van Schie"
    link: "https://researchr.org/alias/john-van-schie"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1411204.1411259"
  abstract: "The ICFP programming contest is a 72-hour contest, which attracts thousands of contestants from all over the world. In this report we describe what it takes to organise this contest, the main ideas behind the contest we organised, the task, how to solve it, how we created it, and how well the contestants did. This year's task was to reverse engineer the DNA of a stranded alien life form to enable it to survive on our planet. The alien's DNA had to be modified by means of a prefix that modified its meaning so that the alien's phenotype would approximate a given \"ideal\" outcome, increasing its probability of survival. About 357 teams from 39 countries solved at least part of the contest. The language of choice for discriminating hackers turned out to be C++. "
  links:
    doi: "http://doi.acm.org/10.1145/1411204.1411259"
  tags:
  - "programming languages"
  - "C++"
  - "programming"
  researchr: "https://researchr.org/publication/DolstraHHHJLLMRS08"
  cites: 0
  citedby: 0
  pages: "397-408"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "DolstraHHHJLLMRS08"
- title: "Generic Haskell: Applications"
  author:
  - name: "Ralf Hinze"
    link: "https://researchr.org/alias/ralf-hinze"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2793&spage=57"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2793&spage=57"
  tags:
  - "Haskell"
  researchr: "https://researchr.org/publication/HinzeJ03a"
  cites: 0
  citedby: 0
  pages: "57-96"
  booktitle: "ac"
  kind: "inproceedings"
  key: "HinzeJ03a"
- title: "Using strategies for assessment of programming exercises"
  author:
  - name: "Alex Gerdes"
    link: "https://researchr.org/alias/alex-gerdes"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1734263.1734412"
  links:
    doi: "http://doi.acm.org/10.1145/1734263.1734412"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/GerdesJH10"
  cites: 0
  citedby: 0
  pages: "441-445"
  booktitle: "sigcse"
  kind: "inproceedings"
  key: "GerdesJH10"
- title: "Libraries for Generic Programming in Haskell"
  author:
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Sean Leather"
    link: "http://www.cs.uu.nl/staff/leather.html"
  - name: "José Pedro Magalhães"
    link: "https://researchr.org/alias/jos%C3%A3%C2%A9-pedro-magalh%C3%A3%C2%A3es"
  - name: "Alexey Rodriguez Yakushev"
    link: "https://researchr.org/alias/alexey-rodriguez-yakushev"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-642-04652-0_4"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-04652-0_4"
  tags:
  - "generic programming"
  - "Haskell"
  - "programming"
  researchr: "https://researchr.org/publication/JeuringLMY08"
  cites: 0
  citedby: 0
  pages: "165-229"
  booktitle: "afp"
  kind: "inproceedings"
  key: "JeuringLMY08"
- title: "Recognizing Strategies"
  author:
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.03.037"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2009.03.037"
  researchr: "https://researchr.org/publication/HeerenJ09"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "237"
  pages: "91-106"
  kind: "article"
  key: "HeerenJ09"
- title: "Comparing approaches to generic programming in Haskell"
  author:
  - name: "Ralf Hinze"
    link: "https://researchr.org/alias/ralf-hinze"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Andres Löh"
    link: "http://people.cs.uu.nl/andres/"
  year: "2007"
  doi: "10.1.1.74.7121"
  tags:
  - "generic programming"
  - "Haskell"
  - "programming"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/1782896"
  cites: 0
  citedby: 0
  booktitle: "SSDGP'06: Proceedings of the 2006 international conference on Datatype-generic programming"
  kind: "inproceedings"
  key: "1782896"
- title: "University students' achievement goals and help-seeking strategies in an intelligent tutoring system"
  author:
  - name: "Bram E. Vaessen"
    link: "https://researchr.org/alias/bram-e.-vaessen"
  - name: "Frans J. Prins"
    link: "https://researchr.org/alias/frans-j.-prins"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  year: "2014"
  doi: "http://dx.doi.org/10.1016/j.compedu.2013.11.001"
  links:
    doi: "http://dx.doi.org/10.1016/j.compedu.2013.11.001"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/ce/VaessenPJ14"
  researchr: "https://researchr.org/publication/VaessenPJ14"
  cites: 0
  citedby: 0
  journal: "ce"
  volume: "72"
  pages: "196-208"
  kind: "article"
  key: "VaessenPJ14"
- title: "Inductive Triple Graphs: A Purely Functional Approach to Represent RDF"
  author:
  - name: "José Emilio Labra Gayo"
    link: "https://researchr.org/alias/jos%C3%A9-emilio-labra-gayo"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Jose María Álvarez Rodríguez"
    link: "https://researchr.org/alias/jose-mar%C3%ADa-%C3%A1lvarez-rodr%C3%ADguez"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/978-3-319-04534-4_7"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-04534-4_7"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gkr/GayoJR13"
  researchr: "https://researchr.org/publication/GayoJR13"
  cites: 0
  citedby: 0
  pages: "92-110"
  booktitle: "gkr"
  kind: "inproceedings"
  key: "GayoJR13"
- title: "Specifying Strategies for Exercises"
  author:
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Arthur van Leeuwen"
    link: "https://researchr.org/alias/arthur-van-leeuwen"
  - name: "Alex Gerdes"
    link: "https://researchr.org/alias/alex-gerdes"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-85110-3_36"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-85110-3_36"
  researchr: "https://researchr.org/publication/HeerenJLG08"
  cites: 0
  citedby: 0
  pages: "430-445"
  booktitle: "AISC"
  kind: "inproceedings"
  key: "HeerenJLG08"
- title: "Enumerating Well-Typed Terms Generically"
  author:
  - name: "Alexey Rodriguez Yakushev"
    link: "https://researchr.org/alias/alexey-rodriguez-yakushev"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-11931-6_5"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-11931-6_5"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/aaip/YakushevJ09"
  researchr: "https://researchr.org/publication/YakushevJ09"
  cites: 0
  citedby: 0
  pages: "93-116"
  booktitle: "AAIP"
  kind: "inproceedings"
  key: "YakushevJ09"
- title: "Comparing Approaches to Generic Programming in Haskell"
  author:
  - name: "Ralf Hinze"
    link: "https://researchr.org/alias/ralf-hinze"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Andres Löh"
    link: "https://researchr.org/alias/andres-l%C3%B6h"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/978-3-540-76786-2_2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-76786-2_2"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ssdgp/HinzeJL06"
  researchr: "https://researchr.org/publication/HinzeJL06-0"
  cites: 0
  citedby: 0
  pages: "72-149"
  booktitle: "ssdgp"
  kind: "inproceedings"
  key: "HinzeJL06-0"
- title: "Type-indexed data types"
  author:
  - name: "Ralf Hinze"
    link: "https://researchr.org/alias/ralf-hinze"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Andres Löh"
    link: "http://people.cs.uu.nl/andres/"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.scico.2003.07.001"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2003.07.001"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/HinzeJL04"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "51"
  number: "1-2"
  pages: "117-151"
  kind: "article"
  key: "HinzeJL04"
- title: "Feedback services for stepwise exercises"
  author:
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  year: "2014"
  doi: "http://dx.doi.org/10.1016/j.scico.2014.02.021"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2014.02.021"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/HeerenJ14"
  researchr: "https://researchr.org/publication/HeerenJ14"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "88"
  pages: "110-129"
  kind: "article"
  key: "HeerenJ14"
- title: "Datatype-Generic Programming - International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-76786-2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-76786-2"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ssdgp/2006"
  researchr: "https://researchr.org/publication/ssdgp-2006"
  cites: 0
  citedby: 0
  booktitle: "Datatype-Generic Programming - International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures"
  conference: "ssdgp"
  editor:
  - name: "Roland Carl Backhouse"
    link: "https://researchr.org/alias/roland-carl-backhouse"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Ralf Hinze"
    link: "https://researchr.org/alias/ralf-hinze"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  volume: "4719"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-76785-5"
  kind: "proceedings"
  key: "ssdgp-2006"
- title: "Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-31374-5"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-31374-5"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/aisc/2012"
  researchr: "https://researchr.org/publication/aisc-2012"
  cites: 0
  citedby: 0
  booktitle: "Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings"
  conference: "AISC"
  editor:
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "John A. Campbell"
    link: "https://researchr.org/alias/john-a.-campbell"
  - name: "Jacques Carette"
    link: "https://researchr.org/alias/jacques-carette"
  - name: "Gabriel Dos Reis"
    link: "https://researchr.org/alias/gabriel-dos-reis"
  - name: "Petr Sojka"
    link: "https://researchr.org/alias/petr-sojka"
  - name: "Makarius Wenzel"
    link: "https://researchr.org/alias/makarius-wenzel"
  - name: "Volker Sorge"
    link: "https://researchr.org/alias/volker-sorge"
  volume: "7362"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-31373-8"
  kind: "proceedings"
  key: "aisc-2012"
- title: "Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures"
  year: "2003"
  tags:
  - "functional programming"
  - "programming"
  researchr: "https://researchr.org/publication/afp%3A2002"
  cites: 0
  citedby: 0
  booktitle: "Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures"
  conference: "afp"
  editor:
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  volume: "2638"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40132-6"
  kind: "proceedings"
  key: "afp:2002"
- title: "Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995, Tutorial Text"
  year: "1995"
  tags:
  - "functional programming"
  - "programming"
  researchr: "https://researchr.org/publication/afp%3A1995"
  cites: 0
  citedby: 0
  booktitle: "Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995, Tutorial Text"
  conference: "afp"
  editor:
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Erik Meijer"
    link: "https://researchr.org/alias/erik-meijer"
  volume: "925"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-59451-5"
  kind: "proceedings"
  key: "afp:1995"
- title: "Mathematics of Program Construction, MPC 98, Marstrand, Sweden, June 15-17, 1998, Proceedings"
  year: "1998"
  researchr: "https://researchr.org/publication/mpc%3A1998"
  cites: 0
  citedby: 0
  booktitle: "Mathematics of Program Construction, MPC 98, Marstrand, Sweden, June 15-17, 1998, Proceedings"
  conference: "mpc"
  editor:
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  volume: "1422"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64591-8"
  kind: "proceedings"
  key: "mpc:1998"
- title: "Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany"
  year: "2003"
  tags:
  - "generic programming"
  - "programming"
  researchr: "https://researchr.org/publication/ifip2-1%3A2002"
  cites: 0
  citedby: 0
  booktitle: "Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany"
  conference: "ifip2-1"
  editor:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  volume: "243"
  series: "IFIP Conference Proceedings"
  publisher: "Kluwer"
  isbn: "1-4020-7374-7"
  kind: "proceedings"
  key: "ifip2-1:2002"