Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones
Boxy types: inference for higher-rank types and impredicativity
ICFP, 2006.
@inproceedings{ICFP-2006-VytiniotisWJ,
author = "Dimitrios Vytiniotis and Stephanie Weirich and Simon L. Peyton Jones",
booktitle = "{Proceedings of the 11th International Conference on Functional Programming}",
doi = "10.1145/1159803.1159838",
editor = "John H. Reppy and Julia L. Lawall",
isbn = "1-59593-309-3",
pages = "251--262",
publisher = "{ACM}",
title = "{Boxy types: inference for higher-rank types and impredicativity}",
year = 2006,
}