publications:
- title: "Generalizing Hindley-Milner Type Inference Algorithms"
  author:
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2002"
  abstract: "Type inferencing according to the standard algorithms W and M often yields unin- formative error messages. Many times, this is a consequence of a bias inherent in the algorithms. The method developed here is to first collect constraints from the program, and to solve these afterwards, possibly under the influence of a heuristic. We show the soundness and completeness of our algorithm. The algorithms W and M turn out to be deterministic instances of our method, giving the correctness for W and M with respect to the Hindley-Milner typing rules for free. We also show that our algorithm is more flexible, because it naturally allows the generation of multiple messages."
  links:
    "url": "http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-031.pdf"
  researchr: "https://researchr.org/publication/HeerenHS02"
  cites: 0
  citedby: 0
  institution: "Department of Information and Computing Sciences, Utrecht University"
  number: "UU-CS-2002-031"
  kind: "techreport"
  key: "HeerenHS02"
- title: "On the rôle of minimal typing derivations in type-driven program transformation"
  author:
  - name: "Stefan Holdermans"
    link: "https://researchr.org/alias/stefan-holdermans"
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1868281.1868283"
  links:
    doi: "http://doi.acm.org/10.1145/1868281.1868283"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ldta/HoldermansH10"
  tags:
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/HoldermansH10-1"
  cites: 0
  citedby: 0
  pages: "2"
  booktitle: "Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, LDTA 2010, Paphos, Cyprus, March 28-29, 2010 - satellite event of ETAPS"
  editor:
  - name: "Claus Brabrand"
    link: "https://researchr.org/alias/claus-brabrand"
  - name: "Pierre-Etienne Moreau"
    link: "https://researchr.org/alias/pierre-etienne-moreau"
  publisher: "ACM"
  isbn: "978-1-4503-0063-6"
  kind: "inproceedings"
  key: "HoldermansH10-1"
- title: "Enumerating submultisets of multisets"
  author:
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  year: "2003"
  doi: "http://dx.doi.org/10.1016/S0020-0190(02)00394-0"
  links:
    doi: "http://dx.doi.org/10.1016/S0020-0190(02)00394-0"
  researchr: "https://researchr.org/publication/Hage03"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "85"
  number: "4"
  pages: "221-226"
  kind: "article"
  key: "Hage03"
- title: "Pancyclicity in switching classes"
  author:
  - name: "Andrzej Ehrenfeucht"
    link: "https://researchr.org/alias/andrzej-ehrenfeucht"
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  - name: "Tero Harju"
    link: "https://researchr.org/alias/tero-harju"
  - name: "Grzegorz Rozenberg"
    link: "https://researchr.org/alias/grzegorz-rozenberg"
  year: "2000"
  doi: "http://dx.doi.org/10.1016/S0020-0190(00)00020-X"
  links:
    doi: "http://dx.doi.org/10.1016/S0020-0190(00)00020-X"
  researchr: "https://researchr.org/publication/EhrenfeuchtHHR00"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "73"
  number: "5-6"
  pages: "153-156"
  kind: "article"
  key: "EhrenfeuchtHHR00"
- title: "Strategies for Solving Constraints in Type and Effect Systems"
  author:
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.03.021"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2009.03.021"
  tags:
  - "constraints"
  - "type system"
  researchr: "https://researchr.org/publication/HageH09"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "236"
  pages: "163-183"
  kind: "article"
  key: "HageH09"
- title: "Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes"
  author:
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  - name: "Tero Harju"
    link: "https://researchr.org/alias/tero-harju"
  - name: "Emo Welzl"
    link: "https://researchr.org/alias/emo-welzl"
  year: "2003"
  doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=58&issue=1&spage=23"
  links:
    doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=58&issue=1&spage=23"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/HageHW03"
  cites: 0
  citedby: 0
  journal: "Fundamenta Informaticae"
  volume: "58"
  number: "1"
  pages: "23-37"
  kind: "article"
  key: "HageHW03"
- title: "The Membership Problem for Switching Classes with Skew Gains"
  author:
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  year: "1999"
  researchr: "https://researchr.org/publication/Hage99"
  cites: 0
  citedby: 0
  journal: "Fundamenta Informaticae"
  volume: "39"
  number: "4"
  pages: "375-387"
  kind: "article"
  key: "Hage99"
- title: "Type Class Directives"
  author:
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  year: "2005"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3350&spage=253"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3350&spage=253"
  researchr: "https://researchr.org/publication/HeerenH05"
  cites: 0
  citedby: 0
  pages: "253-267"
  booktitle: "Practical Aspects of Declarative Languages, 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings"
  editor:
  - name: "Manuel V. Hermenegildo"
    link: "https://researchr.org/alias/manuel-v.-hermenegildo"
  - name: "Daniel Cabeza"
    link: "https://researchr.org/alias/daniel-cabeza"
  volume: "3350"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-24362-3"
  kind: "inproceedings"
  key: "HeerenH05"
- title: "Heap recycling for lazy languages"
  author:
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  - name: "Stefan Holdermans"
    link: "https://researchr.org/alias/stefan-holdermans"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1328408.1328436"
  links:
    doi: "http://doi.acm.org/10.1145/1328408.1328436"
  tags:
  - "laziness"
  researchr: "https://researchr.org/publication/HageH08"
  cites: 0
  citedby: 0
  pages: "189-197"
  booktitle: "Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008"
  editor:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Oege de Moor"
    link: "http://progtools.comlab.ox.ac.uk/members/oege"
  publisher: "ACM"
  isbn: "978-1-59593-977-7"
  kind: "inproceedings"
  key: "HageH08"
- title: "Corrective hints for type incorrect generic Java programs"
  author:
  - name: "Nabil El Boustani"
    link: "https://researchr.org/alias/nabil-el-boustani"
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1706356.1706360"
  links:
    doi: "http://doi.acm.org/10.1145/1706356.1706360"
  tags:
  - "Java"
  - "generic programming"
  researchr: "https://researchr.org/publication/BoustaniH10"
  cites: 0
  citedby: 0
  pages: "5-14"
  booktitle: "Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010"
  editor:
  - name: "John P. Gallagher"
    link: "https://researchr.org/alias/john-p.-gallagher"
  - name: "Janis Voigtländer"
    link: "https://researchr.org/alias/janis-voigtl%C3%A3%C2%A4nder"
  publisher: "ACM"
  isbn: "978-1-60558-727-1"
  kind: "inproceedings"
  key: "BoustaniH10"
- title: "Scripting the type inference process"
  author:
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/944746.944707"
  links:
    doi: "http://doi.acm.org/10.1145/944746.944707"
  tags:
  - "type inference"
  researchr: "https://researchr.org/publication/HeerenHS03-0"
  cites: 0
  citedby: 0
  journal: "SIGPLAN Notices"
  volume: "38"
  number: "9"
  pages: "3-13"
  kind: "article"
  key: "HeerenHS03-0"
- title: "Heuristics for Type Error Discovery and Recovery"
  author:
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/978-3-540-74130-5_12"
  abstract: "Type error messages that are reported for incorrect functional programs can be difficult to understand. The reason for this is that most type inference algorithms proceed in a mechanical, syntax-directed way, and are unaware of inference techniques used by experts to explain type inconsistencies. We formulate type inference as a constraint problem, and analyze the collected constraints to improve the error messages (and, as a result, programming efficiency). A special data structure, the type graph, is used to detect global properties of a program, and furthermore enables us to uniformly describe a large collection of heuristics which embed expert knowledge in explaining type errors. Some of these also suggest corrections to the programmer. Our work has been fully implemented and is used in practical situations, showing that it scales up well."
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-74130-5_12"
  tags:
  - "discovery"
  researchr: "https://researchr.org/publication/HageH06"
  cites: 0
  citedby: 0
  pages: "199-216"
  booktitle: "Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers"
  editor:
  - name: "Zoltán Horváth"
    link: "https://researchr.org/alias/zolt%C3%A1n-horv%C3%A1th"
  - name: "Viktória Zsók"
    link: "https://researchr.org/alias/vikt%C3%B3ria-zs%C3%B3k"
  - name: "Andrew Butterfield"
    link: "https://researchr.org/alias/andrew-butterfield"
  volume: "4449"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-74129-9"
  kind: "inproceedings"
  key: "HageH06"
- title: "Improving type error messages for generic java"
  author:
  - name: "Nabil El Boustani"
    link: "https://researchr.org/alias/nabil-el-boustani"
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1480945.1480964"
  links:
    doi: "http://doi.acm.org/10.1145/1480945.1480964"
  tags:
  - "Java"
  researchr: "https://researchr.org/publication/BoustaniH09"
  cites: 0
  citedby: 0
  pages: "131-140"
  booktitle: "Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009"
  editor:
  - name: "Germán Puebla"
    link: "https://researchr.org/alias/germ%C3%A1n-puebla"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  publisher: "ACM"
  isbn: "978-1-60558-327-3"
  kind: "inproceedings"
  key: "BoustaniH09"
- 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: "Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008"
  editor:
  - name: "James Hook"
    link: "https://researchr.org/alias/james-hook"
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  publisher: "ACM"
  isbn: "978-1-59593-919-7"
  kind: "inproceedings"
  key: "DolstraHHHJLLMRS08"
- title: "The Embedding Problem for Switching Classes of Graphs"
  author:
  - name: "Andrzej Ehrenfeucht"
    link: "https://researchr.org/alias/andrzej-ehrenfeucht"
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  - name: "Tero Harju"
    link: "https://researchr.org/alias/tero-harju"
  - name: "Grzegorz Rozenberg"
    link: "https://researchr.org/alias/grzegorz-rozenberg"
  year: "2006"
  doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=74&issue=1&spage=115"
  links:
    doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=74&issue=1&spage=115"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/EhrenfeuchtHHR06"
  cites: 0
  citedby: 0
  journal: "Fundamenta Informaticae"
  volume: "74"
  number: "1"
  pages: "115-134"
  kind: "article"
  key: "EhrenfeuchtHHR06"
- title: "A Characterization of Acyclic Switching Classes of Graphs Using Forbidden Subgraphs"
  author:
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  - name: "Tero Harju"
    link: "https://researchr.org/alias/tero-harju"
  year: "2004"
  doi: "http://dx.doi.org/10.1137/S0895480100381890"
  links:
    doi: "http://dx.doi.org/10.1137/S0895480100381890"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/HageH04"
  cites: 0
  citedby: 0
  journal: "SIAM J. Discrete Math."
  volume: "18"
  number: "1"
  pages: "159-176"
  kind: "article"
  key: "HageH04"
- title: "Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes"
  author:
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  - name: "Tero Harju"
    link: "https://researchr.org/alias/tero-harju"
  - name: "Emo Welzl"
    link: "https://researchr.org/alias/emo-welzl"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2505/25050148.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2505/25050148.htm"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/HageHW02"
  cites: 0
  citedby: 0
  pages: "148-160"
  booktitle: "Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings"
  editor:
  - name: "Andrea Corradini"
    link: "https://researchr.org/alias/andrea-corradini"
  - name: "Hartmut Ehrig"
    link: "https://researchr.org/alias/hartmut-ehrig"
  - name: "Hans-Jörg Kreowski"
    link: "https://researchr.org/alias/hans-j%C3%B6rg-kreowski"
  - name: "Grzegorz Rozenberg"
    link: "https://researchr.org/alias/grzegorz-rozenberg"
  volume: "2505"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-44310-X"
  kind: "inproceedings"
  key: "HageHW02"
- title: "Making  stricterness  more relevant"
  author:
  - name: "Stefan Holdermans"
    link: "https://researchr.org/alias/stefan-holdermans"
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1706356.1706379"
  links:
    doi: "http://doi.acm.org/10.1145/1706356.1706379"
  researchr: "https://researchr.org/publication/HoldermansH10"
  cites: 0
  citedby: 0
  pages: "121-130"
  booktitle: "Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010"
  editor:
  - name: "John P. Gallagher"
    link: "https://researchr.org/alias/john-p.-gallagher"
  - name: "Janis Voigtländer"
    link: "https://researchr.org/alias/janis-voigtl%C3%A3%C2%A4nder"
  publisher: "ACM"
  isbn: "978-1-60558-727-1"
  kind: "inproceedings"
  key: "HoldermansH10"
- title: "Making “Stricterness” More Relevant"
  author:
  - name: "Stefan Holdermans"
    link: "https://researchr.org/alias/stefan-holdermans"
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  researchr: "https://researchr.org/publication/Holdermans%3APEPM%3A2010"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation"
  editor:
  - name: "John P. Gallagher"
    link: "http://akira.ruc.dk/~jpg/"
  - name: "Janis Voigtländer"
    link: "http://www.iai.uni-bonn.de/~jv/"
  publisher: "ACM"
  kind: "inproceedings"
  key: "Holdermans:PEPM:2010"
- title: "Acyclicity of Switching Classes"
  author:
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  - name: "Tero Harju"
    link: "https://researchr.org/alias/tero-harju"
  year: "1998"
  doi: "http://dx.doi.org/10.1006/eujc.1997.0191"
  links:
    doi: "http://dx.doi.org/10.1006/eujc.1997.0191"
  researchr: "https://researchr.org/publication/HageH98"
  cites: 0
  citedby: 0
  journal: "Eur. J. Comb."
  volume: "19"
  number: "3"
  pages: "321-327"
  kind: "article"
  key: "HageH98"
- title: "Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators"
  author:
  - name: "Stefan Holdermans"
    link: "https://researchr.org/alias/stefan-holdermans"
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1863543.1863554"
  links:
    doi: "http://doi.acm.org/10.1145/1863543.1863554"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/HoldermansH10"
  tags:
  - "analysis"
  - "data-flow analysis"
  researchr: "https://researchr.org/publication/HoldermansH10-0"
  cites: 0
  citedby: 0
  pages: "63-74"
  booktitle: "Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010"
  editor:
  - name: "Paul Hudak"
    link: "https://researchr.org/alias/paul-hudak"
  - name: "Stephanie Weirich"
    link: "https://researchr.org/alias/stephanie-weirich"
  publisher: "ACM"
  isbn: "978-1-60558-794-3"
  kind: "inproceedings"
  key: "HoldermansH10-0"
- title: "The size of switching classes with skew gains"
  author:
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  - name: "Tero Harju"
    link: "https://researchr.org/alias/tero-harju"
  year: "2000"
  doi: "http://dx.doi.org/10.1016/S0012-365X(99)00243-5"
  links:
    doi: "http://dx.doi.org/10.1016/S0012-365X(99)00243-5"
  researchr: "https://researchr.org/publication/HageH00"
  cites: 0
  citedby: 0
  journal: "Discrete Mathematics"
  volume: "215"
  pages: "81-92"
  kind: "article"
  key: "HageH00"
- title: "Embedding in Switching Classes with Skew Gains"
  author:
  - name: "Andrzej Ehrenfeucht"
    link: "https://researchr.org/alias/andrzej-ehrenfeucht"
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  - name: "Tero Harju"
    link: "https://researchr.org/alias/tero-harju"
  - name: "Grzegorz Rozenberg"
    link: "https://researchr.org/alias/grzegorz-rozenberg"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3256&spage=257"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3256&spage=257"
  researchr: "https://researchr.org/publication/EhrenfeuchtHHR04"
  cites: 0
  citedby: 0
  pages: "257-270"
  booktitle: "Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings"
  editor:
  - name: "Hartmut Ehrig"
    link: "https://researchr.org/alias/hartmut-ehrig"
  - name: "Gregor Engels"
    link: "http://www.cs.uni-paderborn.de/fachgebiete/fg-engels/personen/visitenkarten/gregor-engels/visitenkarte.html"
  - name: "Francesco Parisi-Presicce"
    link: "https://researchr.org/alias/francesco-parisi-presicce"
  - name: "Grzegorz Rozenberg"
    link: "https://researchr.org/alias/grzegorz-rozenberg"
  volume: "3256"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-23207-9"
  kind: "inproceedings"
  key: "EhrenfeuchtHHR04"
- title: "Scripting the type inference process"
  author:
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/944705.944707"
  links:
    doi: "http://doi.acm.org/10.1145/944705.944707"
  tags:
  - "type inference"
  researchr: "https://researchr.org/publication/HeerenHS03"
  cites: 0
  citedby: 0
  pages: "3-13"
  booktitle: "Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003"
  editor:
  - name: "Colin Runciman"
    link: "https://researchr.org/alias/colin-runciman"
  - name: "Olin Shivers"
    link: "https://researchr.org/alias/olin-shivers"
  publisher: "ACM"
  isbn: "1-58113-756-7"
  kind: "inproceedings"
  key: "HeerenHS03"
- title: "Neon: A Library for Language Usage Analysis"
  author:
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  - name: "Peter van Keeken"
    link: "https://researchr.org/alias/peter-van-keeken"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-642-00434-6_4"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-00434-6_4"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/HageK08"
  cites: 0
  citedby: 0
  pages: "35-53"
  booktitle: "Software Language Engineering, First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers"
  editor:
  - name: "Dragan Gasevic"
    link: "http://www.sfu.ca/~dgasevic/"
  - name: "Ralf Lämmel"
    link: "http://www.uni-koblenz.de/~laemmel/Site/Home.html"
  - name: "Eric {Van Wyk}"
    link: "http://www-users.cs.umn.edu/~evw/"
  volume: "5452"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-00433-9"
  kind: "inproceedings"
  key: "HageK08"
- title: "Complexity Issues in Switching of Graphs"
  author:
  - name: "Andrzej Ehrenfeucht"
    link: "https://researchr.org/alias/andrzej-ehrenfeucht"
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  - name: "Tero Harju"
    link: "https://researchr.org/alias/tero-harju"
  - name: "Grzegorz Rozenberg"
    link: "https://researchr.org/alias/grzegorz-rozenberg"
  year: "1998"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/EhrenfeuchtHHR98"
  cites: 0
  citedby: 0
  pages: "59-70"
  booktitle: "Theory and Application of Graph Transformations, 6th International Workshop, TAGT 98, Paderborn, Germany, November 16-20, 1998, Selected Papers"
  editor:
  - name: "Hartmut Ehrig"
    link: "https://researchr.org/alias/hartmut-ehrig"
  - name: "Gregor Engels"
    link: "http://www.cs.uni-paderborn.de/fachgebiete/fg-engels/personen/visitenkarten/gregor-engels/visitenkarte.html"
  - name: "Hans-Jörg Kreowski"
    link: "https://researchr.org/alias/hans-j%C3%B6rg-kreowski"
  - name: "Grzegorz Rozenberg"
    link: "https://researchr.org/alias/grzegorz-rozenberg"
  volume: "1764"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67203-6"
  kind: "inproceedings"
  key: "EhrenfeuchtHHR98"
- title: "Corrective Hints for Type Incorrect Generic Java Programs"
  author:
  - name: "Nabil El Boustani"
    link: "https://researchr.org/alias/nabil-el-boustani"
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  tags:
  - "Java"
  - "generic programming"
  researchr: "https://researchr.org/publication/Boustani%3APEPM%3A2010"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation"
  editor:
  - name: "John P. Gallagher"
    link: "http://akira.ruc.dk/~jpg/"
  - name: "Janis Voigtländer"
    link: "http://www.iai.uni-bonn.de/~jv/"
  publisher: "ACM"
  kind: "inproceedings"
  key: "Boustani:PEPM:2010"
- title: "A generic usage analysis with subeffect qualifiers"
  author:
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  - name: "Stefan Holdermans"
    link: "https://researchr.org/alias/stefan-holdermans"
  - name: "Arie Middelkoop"
    link: "https://researchr.org/alias/arie-middelkoop"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1291151.1291189"
  links:
    doi: "http://doi.acm.org/10.1145/1291151.1291189"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/HageHM07"
  cites: 0
  citedby: 0
  pages: "235-246"
  booktitle: "Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007"
  editor:
  - name: "Ralf Hinze"
    link: "https://researchr.org/alias/ralf-hinze"
  - name: "Norman Ramsey"
    link: "http://www.cs.tufts.edu/~nr/"
  publisher: "ACM"
  isbn: "978-1-59593-815-2"
  kind: "inproceedings"
  key: "HageHM07"