Koji Nakazawa, Makoto Tatsuta. Type Checking and Inference for Polymorphic and Existential Types. In Rod Downey, Prabhu Manyem, editors, Theory of Computing 2009, Fifteenth Computing: The Australasian Theory Symposium, CATS 2009, Wellington, New Zealand, January 2009. Volume 94 of CRPIT, pages 61-69, Australian Computer Society, 2009. [doi]
@inproceedings{NakazawaT09, title = {Type Checking and Inference for Polymorphic and Existential Types}, author = {Koji Nakazawa and Makoto Tatsuta}, year = {2009}, url = {http://crpit.com/abstracts/CRPITV94Nakazawa.html}, researchr = {https://researchr.org/publication/NakazawaT09}, cites = {0}, citedby = {0}, pages = {61-69}, booktitle = {Theory of Computing 2009, Fifteenth Computing: The Australasian Theory Symposium, CATS 2009, Wellington, New Zealand, January 2009}, editor = {Rod Downey and Prabhu Manyem}, volume = {94}, series = {CRPIT}, publisher = {Australian Computer Society}, isbn = {978-1-920682-75-0}, }