@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 = {tphol},
}

@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 = {ICFP},
}

@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 = {ICFP},
}

@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 = {ENTCS},
  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 = {JFP},
  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 = {tldi},
}

@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 = {ICFP},
}

@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},
}