@techreport{HeerenHS02,
  title = {Generalizing Hindley-Milner Type Inference Algorithms},
  author = {Bastiaan Heeren and Jurriaan Hage and S. Doaitse Swierstra},
  year = {2002},
  url = {http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-031.pdf},
  researchr = {https://researchr.org/publication/HeerenHS02},
  cites = {0},
  citedby = {0},
  institution = {Department of Information and Computing Sciences, Utrecht University},
  number = {UU-CS-2002-031},
}

@inproceedings{HoldermansH10-1,
  title = {On the rôle of minimal typing derivations in type-driven program transformation},
  author = {Stefan Holdermans and Jurriaan Hage},
  year = {2010},
  doi = {10.1145/1868281.1868283},
  url = {http://doi.acm.org/10.1145/1868281.1868283},
  tags = {transformation, program transformation},
  researchr = {https://researchr.org/publication/HoldermansH10-1},
  cites = {0},
  citedby = {0},
  pages = {2},
  booktitle = {LDTA},
}

@article{Hage03,
  title = {Enumerating submultisets of multisets},
  author = {Jurriaan Hage},
  year = {2003},
  doi = {10.1016/S0020-0190(02)00394-0},
  url = {http://dx.doi.org/10.1016/S0020-0190(02)00394-0},
  researchr = {https://researchr.org/publication/Hage03},
  cites = {0},
  citedby = {0},
  journal = {ipl},
  volume = {85},
  number = {4},
  pages = {221-226},
}

@article{EhrenfeuchtHHR00,
  title = {Pancyclicity in switching classes},
  author = {Andrzej Ehrenfeucht and Jurriaan Hage and Tero Harju and Grzegorz Rozenberg},
  year = {2000},
  doi = {10.1016/S0020-0190(00)00020-X},
  url = {http://dx.doi.org/10.1016/S0020-0190(00)00020-X},
  researchr = {https://researchr.org/publication/EhrenfeuchtHHR00},
  cites = {0},
  citedby = {0},
  journal = {ipl},
  volume = {73},
  number = {5-6},
  pages = {153-156},
}

@article{HageH09,
  title = {Strategies for Solving Constraints in Type and Effect Systems},
  author = {Jurriaan Hage and Bastiaan Heeren},
  year = {2009},
  doi = {10.1016/j.entcs.2009.03.021},
  url = {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 = {ENTCS},
  volume = {236},
  pages = {163-183},
}

@article{HageHW03,
  title = {Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes},
  author = {Jurriaan Hage and Tero Harju and Emo Welzl},
  year = {2003},
  url = {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 = {FUIN},
  volume = {58},
  number = {1},
  pages = {23-37},
}

@article{Hage99,
  title = {The Membership Problem for Switching Classes with Skew Gains},
  author = {Jurriaan Hage},
  year = {1999},
  researchr = {https://researchr.org/publication/Hage99},
  cites = {0},
  citedby = {0},
  journal = {FUIN},
  volume = {39},
  number = {4},
  pages = {375-387},
}

@inproceedings{HeerenH05,
  title = {Type Class Directives},
  author = {Bastiaan Heeren and Jurriaan Hage},
  year = {2005},
  url = {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 = {PADL},
}

@inproceedings{HageH08,
  title = {Heap recycling for lazy languages},
  author = {Jurriaan Hage and Stefan Holdermans},
  year = {2008},
  doi = {10.1145/1328408.1328436},
  url = {http://doi.acm.org/10.1145/1328408.1328436},
  tags = {laziness},
  researchr = {https://researchr.org/publication/HageH08},
  cites = {0},
  citedby = {0},
  pages = {189-197},
  booktitle = {PEPM},
}

@inproceedings{BoustaniH10,
  title = {Corrective hints for type incorrect generic Java programs},
  author = {Nabil El Boustani and Jurriaan Hage},
  year = {2010},
  doi = {10.1145/1706356.1706360},
  url = {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 = {PEPM},
}

@article{HeerenHS03-0,
  title = {Scripting the type inference process},
  author = {Bastiaan Heeren and Jurriaan Hage and S. Doaitse Swierstra},
  year = {2003},
  doi = {10.1145/944746.944707},
  url = {http://doi.acm.org/10.1145/944746.944707},
  tags = {type inference},
  researchr = {https://researchr.org/publication/HeerenHS03-0},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN},
  volume = {38},
  number = {9},
  pages = {3-13},
}

@inproceedings{HageH06,
  title = {Heuristics for Type Error Discovery and Recovery},
  author = {Jurriaan Hage and Bastiaan Heeren},
  year = {2006},
  doi = {10.1007/978-3-540-74130-5_12},
  url = {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 = {IFL},
}

@inproceedings{BoustaniH09,
  title = {Improving type error messages for generic java},
  author = {Nabil El Boustani and Jurriaan Hage},
  year = {2009},
  doi = {10.1145/1480945.1480964},
  url = {http://doi.acm.org/10.1145/1480945.1480964},
  tags = {Java},
  researchr = {https://researchr.org/publication/BoustaniH09},
  cites = {0},
  citedby = {0},
  pages = {131-140},
  booktitle = {PEPM},
}

@inproceedings{DolstraHHHJLLMRS08,
  title = {Report on the tenth ICFP programming contest},
  author = {Eelco  Dolstra and Jurriaan Hage and Bastiaan Heeren and Stefan Holdermans and Johan  Jeuring and Andres Löh and Clara Löh and Arie Middelkoop and Alexey Rodriguez and John van Schie},
  year = {2008},
  doi = {10.1145/1411204.1411259},
  url = {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},
}

@article{EhrenfeuchtHHR06,
  title = {The Embedding Problem for Switching Classes of Graphs},
  author = {Andrzej Ehrenfeucht and Jurriaan Hage and Tero Harju and Grzegorz Rozenberg},
  year = {2006},
  url = {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 = {FUIN},
  volume = {74},
  number = {1},
  pages = {115-134},
}

@article{HageH04,
  title = {A Characterization of Acyclic Switching Classes of Graphs Using Forbidden Subgraphs},
  author = {Jurriaan Hage and Tero Harju},
  year = {2004},
  doi = {10.1137/S0895480100381890},
  url = {http://dx.doi.org/10.1137/S0895480100381890},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/HageH04},
  cites = {0},
  citedby = {0},
  journal = {siamdm},
  volume = {18},
  number = {1},
  pages = {159-176},
}

@inproceedings{HageHW02,
  title = {Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes},
  author = {Jurriaan Hage and Tero Harju and Emo Welzl},
  year = {2002},
  url = {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 = {gg},
}

@inproceedings{HoldermansH10,
  title = {Making  stricterness  more relevant},
  author = {Stefan Holdermans and Jurriaan Hage},
  year = {2010},
  doi = {10.1145/1706356.1706379},
  url = {http://doi.acm.org/10.1145/1706356.1706379},
  researchr = {https://researchr.org/publication/HoldermansH10},
  cites = {0},
  citedby = {0},
  pages = {121-130},
  booktitle = {PEPM},
}

@inproceedings{Holdermans:PEPM:2010,
  title = {Making “Stricterness” More Relevant},
  author = {Stefan Holdermans and Jurriaan Hage},
  researchr = {https://researchr.org/publication/Holdermans%3APEPM%3A2010},
  cites = {0},
  citedby = {0},
  booktitle = {PEPM},
}

@article{HageH98,
  title = {Acyclicity of Switching Classes},
  author = {Jurriaan Hage and Tero Harju},
  year = {1998},
  doi = {10.1006/eujc.1997.0191},
  url = {http://dx.doi.org/10.1006/eujc.1997.0191},
  researchr = {https://researchr.org/publication/HageH98},
  cites = {0},
  citedby = {0},
  journal = {ejc},
  volume = {19},
  number = {3},
  pages = {321-327},
}

@inproceedings{HoldermansH10-0,
  title = {Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators},
  author = {Stefan Holdermans and Jurriaan Hage},
  year = {2010},
  doi = {10.1145/1863543.1863554},
  url = {http://doi.acm.org/10.1145/1863543.1863554},
  tags = {analysis, data-flow analysis},
  researchr = {https://researchr.org/publication/HoldermansH10-0},
  cites = {0},
  citedby = {0},
  pages = {63-74},
  booktitle = {ICFP},
}

@article{HageH00,
  title = {The size of switching classes with skew gains},
  author = {Jurriaan Hage and Tero Harju},
  year = {2000},
  doi = {10.1016/S0012-365X(99)00243-5},
  url = {http://dx.doi.org/10.1016/S0012-365X(99)00243-5},
  researchr = {https://researchr.org/publication/HageH00},
  cites = {0},
  citedby = {0},
  journal = {DM},
  volume = {215},
  pages = {81-92},
}

@inproceedings{EhrenfeuchtHHR04,
  title = {Embedding in Switching Classes with Skew Gains},
  author = {Andrzej Ehrenfeucht and Jurriaan Hage and Tero Harju and Grzegorz Rozenberg},
  year = {2004},
  url = {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 = {gg},
}

@inproceedings{HeerenHS03,
  title = {Scripting the type inference process},
  author = {Bastiaan Heeren and Jurriaan Hage and S. Doaitse Swierstra},
  year = {2003},
  doi = {10.1145/944705.944707},
  url = {http://doi.acm.org/10.1145/944705.944707},
  tags = {type inference},
  researchr = {https://researchr.org/publication/HeerenHS03},
  cites = {0},
  citedby = {0},
  pages = {3-13},
  booktitle = {ICFP},
}

@inproceedings{HageK08,
  title = {Neon: A Library for Language Usage Analysis},
  author = {Jurriaan Hage and Peter van Keeken},
  year = {2008},
  doi = {10.1007/978-3-642-00434-6_4},
  url = {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 = {SLE},
}

@inproceedings{EhrenfeuchtHHR98,
  title = {Complexity Issues in Switching of Graphs},
  author = {Andrzej Ehrenfeucht and Jurriaan Hage and Tero Harju and Grzegorz Rozenberg},
  year = {1998},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/EhrenfeuchtHHR98},
  cites = {0},
  citedby = {0},
  pages = {59-70},
  booktitle = {tagt},
}

@inproceedings{Boustani:PEPM:2010,
  title = {Corrective Hints for Type Incorrect Generic Java Programs},
  author = {Nabil El Boustani and Jurriaan Hage},
  tags = {Java, generic programming},
  researchr = {https://researchr.org/publication/Boustani%3APEPM%3A2010},
  cites = {0},
  citedby = {0},
  booktitle = {PEPM},
}

@inproceedings{HageHM07,
  title = {A generic usage analysis with subeffect qualifiers},
  author = {Jurriaan Hage and Stefan Holdermans and Arie Middelkoop},
  year = {2007},
  doi = {10.1145/1291151.1291189},
  url = {http://doi.acm.org/10.1145/1291151.1291189},
  tags = {analysis},
  researchr = {https://researchr.org/publication/HageHM07},
  cites = {0},
  citedby = {0},
  pages = {235-246},
  booktitle = {ICFP},
}