𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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

✍ Scribed by Bernardy, Jean-Philippe; Guilhem, Moulin

Book ID: 124066032
Publisher: ACM Press
Year: 2013
Weight: 587 KB
Category: Article
ISBN: 145032326X
DOI: 10.1145/2500365.2500577

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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 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 - Functional geometry and the Traité de Lutherie

✍ Mairson, Harry George 📂 Article 📅 2013 🏛 ACM Press ⚖ 922 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 - Functional geometry and the Traité de Lutherie

✍ Mairson, Harry George 📂 Article 📅 2013 🏛 ACM Press ⚖ 922 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 - Efficient divide-and-conquer parsing of practical context-free languages

✍ Bernardy, Jean-Philippe; Claessen, Koen 📂 Article 📅 2013 🏛 ACM Press ⚖ 588 KB

[ACM Press Proceeding of the 13th ACM SI

[ACM Press Proceeding of the 13th ACM SIGPLAN international conference - Victoria, BC, Canada (2008.09.20-2008.09.28)] Proceeding of the 13th ACM SIGPLAN international conference on Functional programming - ICFP '08 - NixOS

✍ Dolstra, Eelco; Löh, Andres 📂 Article 📅 2008 🏛 ACM Press ⚖ 394 KB

[ACM Press Proceeding of the 13th ACM SI

[ACM Press Proceeding of the 13th ACM SIGPLAN international conference - Victoria, BC, Canada (2008.09.20-2008.09.28)] Proceeding of the 13th ACM SIGPLAN international conference on Functional programming - ICFP '08 - NixOS

✍ Dolstra, Eelco; Löh, Andres 📂 Article 📅 2008 🏛 ACM Press ⚖ 394 KB