×

Found 2 Documents (Results 1–2)

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
Full Text: DOI HAL

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
Full Text: DOI

Filter Results by …

Year of Publication

Main Field