Saito, Chieri; Igarashi, Atsushi Matching MyType to subtyping. (English) Zbl 1284.68107 Sci. Comput. Program. 78, No. 7, 933-952 (2013). MSC: 68N15 68N19 68N30 PDFBibTeX XMLCite \textit{C. Saito} and \textit{A. Igarashi}, Sci. Comput. Program. 78, No. 7, 933--952 (2013; Zbl 1284.68107) Full Text: DOI
Aracic, Ivica; Gasiunas, Vaidas; Mezini, Mira; Ostermann, Klaus An overview of CaesarJ. (English) Zbl 1165.68355 Rashid, Awais (ed.) et al., Transactions on Aspect-Oriented Software Development I. Berlin: Springer (ISBN 978-3-540-32972-5/pbk). Lecture Notes in Computer Science 3880. Journal Subline, 135-173 (2006). MSC: 68N99 68N15 68N19 PDFBibTeX XMLCite \textit{I. Aracic} et al., Lect. Notes Comput. Sci. 3880, 135--173 (2006; Zbl 1165.68355) Full Text: DOI
Craig, Iain The interpretation of object-oriented programming languages. 2nd ed. (English) Zbl 0979.68019 London: Springer. xiv, 290 p. (2002). MSC: 68N19 68-01 68N15 PDFBibTeX XMLCite \textit{I. Craig}, The interpretation of object-oriented programming languages. 2nd ed. London: Springer (2002; Zbl 0979.68019)
Palsberg, Jens; Jim, Trevor Type inference with simple selftypes is \(NP\)-complete. (English) Zbl 1034.68528 Nord. J. Comput. 4, No. 3, 259-286 (1997). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Palsberg} and \textit{T. Jim}, Nord. J. Comput. 4, No. 3, 259--286 (1997; Zbl 1034.68528)