Cremet, Vincent; Garillot, François; Lenglet, Sergueï; Odersky, Martin A core calculus for scala type checking. (English) Zbl 1132.68320 Královič, Rastislav (ed.) et al., Mathematical foundations of computer science 2006. 31st international symposium, MFCS 2006, Stará Lesná, Slovakia, August 28–September 1, 2006. Proceedings. Berlin: Springer (ISBN 3-540-37791-3/pbk). Lecture Notes in Computer Science 4162, 1-23 (2006). MSC: 68N15 PDFBibTeX XMLCite \textit{V. Cremet} et al., Lect. Notes Comput. Sci. 4162, 1--23 (2006; Zbl 1132.68320) Full Text: DOI HAL
Black, Andrew P.; Cremet, Vincent; Guerraoui, Rachid; Odersky, Martin An equational theory for transactions. (English) Zbl 1205.68120 Pandya, Paritosh K. (ed.) et al., FST TCS 2003: Foundations of software technology and theoretical computer science. 23rd conference, Mumbai, India, December 15–17, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20680-9/pbk). Lect. Notes Comput. Sci. 2914, 38-49 (2003). MSC: 68N30 PDFBibTeX XMLCite \textit{A. P. Black} et al., Lect. Notes Comput. Sci. 2914, 38--49 (2003; Zbl 1205.68120) Full Text: DOI