𝔖 Bobbio Scriptorium

✦ LIBER ✦

[ACM Press Proceeding of the 16th ACM SIGPLAN international conference - Tokyo, Japan (2011.09.19-2011.09.21)] Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11 - Recursion principles for syntax with bindings and substitution

✍ Scribed by Popescu, Andrei; Gunter, Elsa L.

Book ID: 115506738
Publisher: ACM Press
Year: 2011
Weight: 642 KB
Volume: 0
Category: Article
ISBN: 1450308651
DOI: 10.1145/2034773.2034819

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press Proceeding of the 16th ACM SI

[ACM Press Proceeding of the 16th ACM SIGPLAN international conference - Tokyo, Japan (2011.09.19-2011.09.21)] Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11 - Just do it

✍ Gibbons, Jeremy; Hinze, Ralf 📂 Article 📅 2011 🏛 ACM Press ⚖ 495 KB

[ACM Press Proceeding of the 16th ACM SI

[ACM Press Proceeding of the 16th ACM SIGPLAN international conference - Tokyo, Japan (2011.09.19-2011.09.21)] Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11 - Typed self-interpretation by pattern matching

✍ Jay, Barry; Palsberg, Jens 📂 Article 📅 2011 🏛 ACM Press ⚖ 508 KB

[ACM Press Proceeding of the 16th ACM SI

[ACM Press Proceeding of the 16th ACM SIGPLAN international conference - Tokyo, Japan (2011.09.19-2011.09.21)] Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11 - A semantic model for graphical user interfaces

✍ Krishnaswami, Neelakantan R.; Benton, Nick 📂 Article 📅 2011 🏛 ACM Press ⚖ 705 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

[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 - Quotient lenses

✍ Foster, J. Nathan; Pilkiewicz, Alexandre; Pierce, Benjamin C. 📂 Article 📅 2008 🏛 ACM Press ⚖ 362 KB