Jacques Garrigue, Didier Rémy. Ambivalent Types for Principal Type Inference with GADTs. In Chung-chieh Shan, editor, Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings. Volume 8301 of Lecture Notes in Computer Science, pages 257-272, Springer, 2013. [doi]
@inproceedings{GarrigueR13,
title = {Ambivalent Types for Principal Type Inference with GADTs},
author = {Jacques Garrigue and Didier Rémy},
year = {2013},
doi = {10.1007/978-3-319-03542-0_19},
url = {http://dx.doi.org/10.1007/978-3-319-03542-0_19},
researchr = {https://researchr.org/publication/GarrigueR13},
cites = {0},
citedby = {0},
pages = {257-272},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
editor = {Chung-chieh Shan},
volume = {8301},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-03541-3},
}