zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 127-137 (2014).
MSC:  68N30 68Q60 68T05
BibTeX Cite
Full Text: DOI
Felleisen, Matthias (ed.) et al., Programming languages and systems. 22nd European symposium on programming, ESOP 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37035-9/pbk). Lecture Notes in Computer Science 7792, 574-592 (2013).
MSC:  68N30
BibTeX Cite
Full Text: DOI

Filter Results by …

Year of Publication