Koji Nakazawa, Makoto Tatsuta. Type Checking and Inference for Polymorphic and Existential Types in Multiple-Quantifier and Type-Free Systems. Chicago J. Theor. Comput. Sci., 2010, 2010. [doi]
@article{NakazawaT10,
title = {Type Checking and Inference for Polymorphic and Existential Types in Multiple-Quantifier and Type-Free Systems},
author = {Koji Nakazawa and Makoto Tatsuta},
year = {2010},
url = {http://cjtcs.cs.uchicago.edu/articles/CATS2009/7/contents.html},
researchr = {https://researchr.org/publication/NakazawaT10},
cites = {0},
citedby = {0},
journal = {Chicago J. Theor. Comput. Sci.},
volume = {2010},
}