@inproceedings{AydemirBFFPSVWWZ05,
  title = {Mechanized Metatheory for the Masses: The PoplMark Challenge},
  author = {Brian E. Aydemir and Aaron Bohannon and Matthew Fairbairn and J. Nathan Foster and Benjamin C. Pierce and Peter Sewell and Dimitrios Vytiniotis and Geoffrey Washburn and Stephanie Weirich and Steve Zdancewic},
  year = {2005},
  doi = {10.1007/11541868_4},
  url = {http://dx.doi.org/10.1007/11541868_4},
  tags = {programming languages, rule-based, variable binding, principles, type system, C++, metatheory, subtyping, programming, state machines},
  researchr = {https://researchr.org/publication/AydemirBFFPSVWWZ05},
  cites = {0},
  citedby = {0},
  pages = {50-65},
  booktitle = {Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings},
  editor = {Joe Hurd and Thomas F. Melham},
  volume = {3603},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-28372-2},
}

@inproceedings{VytiniotisWJ08,
  title = {FPH: first-class polymorphism for Haskell},
  author = {Dimitrios Vytiniotis and Stephanie Weirich and Simon L. Peyton Jones},
  year = {2008},
  doi = {10.1145/1411204.1411246},
  url = {http://doi.acm.org/10.1145/1411204.1411246},
  tags = {programming languages, type inference, completeness, System F, MLF, transformation language, polymorphism, Haskell, type system, transformation system, higher-order transformations, transformation, program transformation},
  researchr = {https://researchr.org/publication/VytiniotisWJ08},
  cites = {0},
  citedby = {0},
  pages = {295-306},
  booktitle = {Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008},
  editor = {James Hook and Peter Thiemann},
  publisher = {ACM},
  isbn = {978-1-59593-919-7},
}

@inproceedings{JonesVWW06,
  title = {Simple unification-based type inference for GADTs},
  author = {Simon L. Peyton Jones and Dimitrios Vytiniotis and Stephanie Weirich and Geoffrey Washburn},
  year = {2006},
  doi = {10.1145/1159803.1159811},
  url = {http://doi.acm.org/10.1145/1159803.1159811},
  tags = {type inference, rule-based},
  researchr = {https://researchr.org/publication/JonesVWW06},
  cites = {0},
  citedby = {0},
  pages = {50-61},
  booktitle = {Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006},
  editor = {John H. Reppy and Julia L. Lawall},
  publisher = {ACM},
  isbn = {1-59593-309-3},
}

@article{VytiniotisW07,
  title = {Free Theorems and Runtime Type Representations},
  author = {Dimitrios Vytiniotis and Stephanie Weirich},
  year = {2007},
  doi = {10.1016/j.entcs.2007.02.043},
  url = {http://dx.doi.org/10.1016/j.entcs.2007.02.043},
  researchr = {https://researchr.org/publication/VytiniotisW07},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {173},
  pages = {357-373},
}

@article{JonesVWS07,
  title = {Practical type inference for arbitrary-rank types},
  author = {Simon L. Peyton Jones and Dimitrios Vytiniotis and Stephanie Weirich and Mark Shields},
  year = {2007},
  doi = {10.1017/S0956796806006034},
  url = {http://dx.doi.org/10.1017/S0956796806006034},
  tags = {type inference},
  researchr = {https://researchr.org/publication/JonesVWS07},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {17},
  number = {1},
  pages = {1-82},
}

@inproceedings{VytiniotisWW05,
  title = {An open and shut typecase},
  author = {Dimitrios Vytiniotis and Geoffrey Washburn and Stephanie Weirich},
  year = {2005},
  doi = {10.1145/1040294.1040296},
  url = {http://doi.acm.org/10.1145/1040294.1040296},
  tags = {source-to-source, open-source},
  researchr = {https://researchr.org/publication/VytiniotisWW05},
  cites = {0},
  citedby = {0},
  pages = {13-24},
  booktitle = {Proceedings of TLDI 05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Long Beach, CA, USA, January 10, 2005},
  editor = {J. Gregory Morrisett and Manuel Fähndrich},
  publisher = {ACM},
  isbn = {1-58113-999-3},
}

@inproceedings{VytiniotisWJ06,
  title = {Boxy types: inference for higher-rank types and impredicativity},
  author = {Dimitrios Vytiniotis and Stephanie Weirich and Simon L. Peyton Jones},
  year = {2006},
  doi = {10.1145/1159803.1159838},
  url = {http://doi.acm.org/10.1145/1159803.1159838},
  tags = {type inference},
  researchr = {https://researchr.org/publication/VytiniotisWJ06},
  cites = {0},
  citedby = {0},
  pages = {251-262},
  booktitle = {Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006},
  editor = {John H. Reppy and Julia L. Lawall},
  publisher = {ACM},
  isbn = {1-59593-309-3},
}

@article{VytiniotisJSS11,
  title = {{OutsideIn(X)} Modular type inference with local assumptions},
  author = {Dimitrios Vytiniotis and Simon L. Peyton Jones and Tom Schrijvers and Martin Sulzmann},
  year = {2011},
  tags = {empirical, programming languages, type inference, rule-based, data-flow language, constraints, Haskell, type system, data-flow programming, data-flow, metatheory, systematic-approach, local type inference, domain-specific language},
  researchr = {https://researchr.org/publication/VytiniotisJSS11},
  cites = {0},
  citedby = {0},
  journal = {J. Funct. Program.},
  volume = {21},
  number = {4-5},
  pages = {333-412},
}