Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn. Simple unification-based type inference for GADTs. In John H. Reppy, Julia L. Lawall, editors, Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006. pages 50-61, ACM, 2006. [doi]
@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},
}