𝔖 Bobbio Scriptorium

✦ LIBER ✦

[ACM Press the 17th ACM SIGPLAN international conference - Copenhagen, Denmark (2012.09.09-2012.09.15)] Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12 - Agda-curious?

✍ Scribed by McBride, Conor Thomas

Book ID: 115489384
Publisher: ACM Press
Year: 2012
Weight: 391 KB
Category: Article
ISBN: 1450310540
DOI: 10.1145/2364527.2364529

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the 19th ACM SIGPLAN internat

[ACM Press the 19th ACM SIGPLAN international conference - Gothenburg, Sweden (2014.09.01-2014.09.06)] Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14 - Krivine nets

✍ Fredriksson, Olle; Ghica, Dan R. 📂 Article 📅 2014 🏛 ACM Press ⚖ 681 KB

[ACM Press the 15th ACM SIGPLAN internat

[ACM Press the 15th ACM SIGPLAN international conference - Baltimore, Maryland, USA (2010.09.27-2010.09.29)] Proceedings of the 15th ACM SIGPLAN international conference on Functional programming - ICFP '10 - The gentle art of levitation

✍ Chapman, James; Dagand, Pierre-Évariste; McBride, Conor; Morris, Peter 📂 Article 📅 2010 🏛 ACM Press ⚖ 515 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 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 - Using functional languages to facilitate C++ metaprogramming

✍ Haeri, Seyed Hossein; Schupp, Sibylle; Hüser, Jonathan 📂 Article 📅 2012 🏛 ACM Press ⚖ 626 KB

[ACM Press the 15th ACM SIGPLAN internat

[ACM Press the 15th ACM SIGPLAN international conference - Baltimore, Maryland, USA (2010.09.27-2010.09.29)] Proceedings of the 15th ACM SIGPLAN international conference on Functional programming - ICFP '10 - Logical types for untyped languages

✍ Tobin-Hochstadt, Sam; Felleisen, Matthias 📂 Article 📅 2010 🏛 ACM Press ⚖ 721 KB