𝔖 Bobbio Scriptorium

✦ LIBER ✦

[ACM Press the ACM SIGPLAN 2012 workshop - Philadelphia, Pennsylvania, USA (2012.01.23-2012.01.24)] Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation - PEPM '12 - Specification and verification of meta-programs

✍ Scribed by Berger, Martin

Book ID: 118170842
Publisher: ACM Press
Year: 2012
Weight: 332 KB
Volume: 0
Category: Article
ISBN: 1450311180
DOI: 10.1145/2103746.2103750

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the sixth workshop - Philadel

[ACM Press the sixth workshop - Philadelphia, Pennsylvania, USA (2012.01.24-2012.01.24)] Proceedings of the sixth workshop on Programming languages meets program verification - PLPV '12 - Dependent interoperability

✍ Osera, Peter-Michael; Sjöberg, Vilhelm; Zdancewic, Steve 📂 Article 📅 2012 🏛 ACM Press ⚖ 625 KB

[ACM Press the ACM SIGPLAN 2014 Workshop

[ACM Press the ACM SIGPLAN 2014 Workshop - San Diego, California, USA (2014.01.20-2014.01.21)] Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation - PEPM '14 - Effective quotation

✍ Cheney, James; Lindley, Sam; Radanne, Gabriel; Wadler, Philip 📂 Article 📅 2014 🏛 ACM Press ⚖ 830 KB

[ACM Press the 8th ACM SIGPLAN workshop

[ACM Press the 8th ACM SIGPLAN workshop - Philadelphia, Pennsylvania, USA (2012.01.28-2012.01.28)] Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation - TLDI '12 - Semantics for graphical user interfaces

✍ Krishnaswami, Neelakantan R. 📂 Article 📅 2012 🏛 ACM Press ⚖ 328 KB

[ACM Press the ACM SIGPLAN 2013 workshop

[ACM Press the ACM SIGPLAN 2013 workshop - Rome, Italy (2013.01.21-2013.01.21)] Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation - PEPM '13 - Abstract syntax graphs for domain specific languages

✍ Oliveira, Bruno C. d. S.; Löh, Andres 📂 Article 📅 2013 🏛 ACM Press ⚖ 513 KB

[ACM Press the 8th ACM SIGPLAN workshop

[ACM Press the 8th ACM SIGPLAN workshop - Copenhagen, Denmark (2012.09.12-2012.09.12)] Proceedings of the 8th ACM SIGPLAN workshop on Generic programming - WGP '12 - Sorting with bialgebras and distributive laws

✍ Hinze, Ralf; James, Daniel W.H.; Harper, Thomas; Wu, Nicolas; Magalhães, José Pe 📂 Article 📅 2012 🏛 ACM Press ⚖ 597 KB

[ACM Press the ACM SIGPLAN 2014 Workshop

[ACM Press the ACM SIGPLAN 2014 Workshop - San Diego, California, USA (2014.01.20-2014.01.21)] Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation - PEPM '14 - Compile-time reflection and metaprogramming for Java

✍ Miao, Weiyu; Siek, Jeremy 📂 Article 📅 2014 🏛 ACM Press ⚖ 499 KB