𝔖 Bobbio Scriptorium

✦ LIBER ✦

[ACM Press the ACM international symposium - Tucson, Arizona, USA (2012.10.19-2012.10.26)] Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software - Onward! '12 - Progressive types

✍ Scribed by Politz, Joe Gibbs; Quay-de la Vallee, Hannah; Krishnamurthi, Shriram

Book ID: 121242025
Publisher: ACM Press
Year: 2012
Weight: 911 KB
Category: Article
ISBN: 1450315623
DOI: 10.1145/2384592.2384599

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the ACM international symposi

[ACM Press the ACM international symposium - Tucson, Arizona, USA (2012.10.19-2012.10.26)] Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software - Onward! '12 - MOST-flexiPL

✍ Heinlein, Christian 📂 Article 📅 2012 🏛 ACM Press ⚖ 454 KB

[ACM Press the 2013 ACM international sy

[ACM Press the 2013 ACM international symposium - Indianapolis, Indiana, USA (2013.10.29-2013.10.31)] Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software - Onward! '13 - Content over container

✍ Steimann, Friedrich 📂 Article 📅 2013 🏛 ACM Press ⚖ 539 KB

[ACM Press the ACM international confere

[ACM Press the ACM international conference - Tucson, Arizona, USA (2012.10.19-2012.10.26)] Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '12 - Modular and verified automatic program repair

✍ Logozzo, Francesco; Ball, Thomas 📂 Article 📅 2012 🏛 ACM Press ⚖ 646 KB

[ACM Press the 10th SIGPLAN symposium -

[ACM Press the 10th SIGPLAN symposium - Portland, Oregon, USA (2011.10.22-2011.10.27)] Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software - ONWARD '11 - The four Rs of programming language design

✍ Orchard, Dominic 📂 Article 📅 2011 🏛 ACM Press ⚖ 456 KB

[ACM Press the ACM-IEEE international sy

[ACM Press the ACM-IEEE international symposium - Lund, Sweden (2012.09.19-2012.09.20)] Proceedings of the ACM-IEEE international symposium on Empirical software engineering and measurement - ESEM '12 - Questioning software maintenance metrics

✍ Sjøberg, Dag I.K.; Anda, Bente; Mockus, Audris 📂 Article 📅 2012 🏛 ACM Press ⚖ 445 KB

[ACM Press the 10th ACM international sy

[ACM Press the 10th ACM international symposium - Paphos, Cyprus (2012.10.24-2012.10.25)] Proceedings of the 10th ACM international symposium on Mobility management and wireless access - MobiWac '12 - A multi-level approach to link state

✍ Adjih, Cedric; Plesse, Thierry 📂 Article 📅 2012 🏛 ACM Press ⚖ 578 KB