𝔖 Bobbio Scriptorium

✦ LIBER ✦

[ACM Press the 2013 ACM SIGPLAN workshop - Boston, Massachusetts, USA (2013.09.24-2013.09.24)] Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming - DTP '13 - Leveling up dependent types

✍ Scribed by Diehl, Larry; Sheard, Tim

Book ID: 124167158
Publisher: ACM Press
Year: 2013
Weight: 544 KB
Category: Article
ISBN: 1450323847
DOI: 10.1145/2502409.2502414

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the 2013 ACM SIGPLAN symposiu

[ACM Press the 2013 ACM SIGPLAN symposium - Boston, Massachusetts, USA (2013.09.23-2013.09.24)] Proceedings of the 2013 ACM SIGPLAN symposium on Haskell - Haskell '13 - An EDSL approach to high performance Haskell programming

✍ Ankner, Johan; Svenningsson, Josef David 📂 Article 📅 2013 🏛 ACM Press ⚖ 522 KB

[ACM Press the 9th ACM SIGPLAN workshop

[ACM Press the 9th ACM SIGPLAN workshop - Boston, Massachusetts, USA (2013.09.28-2013.09.28)] Proceedings of the 9th ACM SIGPLAN workshop on Generic programming - WGP '13 - Programming macro tree transducers

✍ Bahr, Patrick; Day, Laurence E. 📂 Article 📅 2013 🏛 ACM Press 🌐 English ⚖ 471 KB

[ACM Press the twelfth ACM SIGPLAN works

[ACM Press the twelfth ACM SIGPLAN workshop - Boston, Massachusetts, USA (2013.09.28-2013.09.28)] Proceedings of the twelfth ACM SIGPLAN workshop on Erlang - Erlang '13 - Scalable persistent storage for Erlang

✍ Ghaffari, Amir; Chechina, Natalia; Trinder, Phil; Meredith, Jon 📂 Article 📅 2013 🏛 ACM Press ⚖ 391 KB

[ACM Press the 18th ACM SIGPLAN internat

[ACM Press the 18th ACM SIGPLAN international conference - Boston, Massachusetts, USA (2013.09.25-2013.09.27)] Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13 - Type-theory in color

✍ Bernardy, Jean-Philippe; Guilhem, Moulin 📂 Article 📅 2013 🏛 ACM Press ⚖ 587 KB

[ACM Press the 18th ACM SIGPLAN internat

[ACM Press the 18th ACM SIGPLAN international conference - Boston, Massachusetts, USA (2013.09.25-2013.09.27)] Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13 - Modular and automated type-soundness verification for language extensions

✍ Lorenzen, Florian; Erdweg, Sebastian 📂 Article 📅 2013 🏛 ACM Press ⚖ 627 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