×

zbMATH — the first resource for mathematics

Found 7 Documents (Results 1–7)

100
MathJax
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 100-113 (2017).
MSC:  68N30 03B70 68T15
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 35-47 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’09, Savannah, GA, USA, January 18–24, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-379-2). 354-365 (2009).
MSC:  68N30 03B70 68N18
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’04, Venice, Italy, January 14–16, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-729-X). 77-88 (2004).
PDF BibTeX XML Cite
Full Text: DOI
Giacobazzi, Roberto (ed.), Static analysis. 11th international symposium, SAS 2004, Verona, Italy, August 26–28, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22791-1/pbk). Lecture Notes in Computer Science 3148, 296-311 (2004).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
all top 5
Year of Publication
Classification
all top 3
Software