Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

DOI10.1145/360204MaRDI QIDQ5747525zbMATH OpenOpenAlexFDO

Authors

Publication date 17 February 2014

Full work available at URL https://doi.org/10.1145/360204

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of programming languages (68N15)

Cited in

(5)

• MERLIN 2001. Proceedings of the workshop on mechanized reasoning about languages with variable binding (in connection with IJCAR 2001), Siena, Italy, June 18, 2001
• Proceedings of the programming languages meets program verification (PLPV 2006), Seattle, WA, USA, August 21, 2006
• scientific article; zbMATH DE number 2202943 (Why is no real title available?)
• Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
• Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

This page was built for publication: Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5747525)