Viviana Bono, Jerzy Tiuryn, Pawel Urzyczyn. Type Inference for Nested Self Types. In Stefano Berardi, Mario Coppo, Ferruccio Damiani, editors, Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers. Volume 3085 of Lecture Notes in Computer Science, pages 99-114, Springer, 2003. [doi]
@inproceedings{BonoTU03,
title = {Type Inference for Nested Self Types},
author = {Viviana Bono and Jerzy Tiuryn and Pawel Urzyczyn},
year = {2003},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3085&spage=99},
tags = {type inference},
researchr = {https://researchr.org/publication/BonoTU03},
cites = {0},
citedby = {0},
pages = {99-114},
booktitle = {Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
editor = {Stefano Berardi and Mario Coppo and Ferruccio Damiani},
volume = {3085},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-22164-6},
}