×

zbMATH — the first resource for mathematics

Found 16 Documents (Results 1–16)

100
MathJax
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’00, Boston, MA, USA, January 19–21, 2000. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-125-9). 170-183 (2000).
PDF BibTeX Cite
Full Text: DOI