Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis
Complete and decidable type inference for GADTs
ICFP, 2009.
@inproceedings{ICFP-2009-SchrijversJSV,
author = "Tom Schrijvers and Simon L. Peyton Jones and Martin Sulzmann and Dimitrios Vytiniotis",
booktitle = "{Proceedings of the 14th International Conference on Functional Programming}",
doi = "10.1145/1596550.1596599",
editor = "Graham Hutton and Andrew P. Tolmach",
isbn = "978-1-60558-332-7",
pages = "341--352",
publisher = "{ACM}",
title = "{Complete and decidable type inference for GADTs}",
year = 2009,
}
Tags: