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]
Abstract is missing.