François Pottier, Yann Régis-Gianas
Stratified type inference for generalized algebraic data types
POPL, 2006.
@inproceedings{POPL-2006-PottierR,
author = "François Pottier and Yann Régis-Gianas",
booktitle = "{Proceedings of the 33rd Symposium on Principles of Programming Languages}",
doi = "10.1145/1111037.1111058",
editor = "J. Gregory Morrisett and Simon L. Peyton Jones",
isbn = "1-59593-027-2",
pages = "232--244",
publisher = "{ACM}",
title = "{Stratified type inference for generalized algebraic data types}",
year = 2006,
}