𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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

✍ Scribed by Fredriksson, Olle; Ghica, Dan R.

Book ID: 126655375
Publisher: ACM Press
Year: 2014
Weight: 681 KB
Category: Article
ISBN: 1450328733
DOI: 10.1145/2628136.2628152

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 the 17th ACM SIGPLAN internat

[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?

✍ McBride, Conor Thomas 📂 Article 📅 2012 🏛 ACM Press ⚖ 391 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 14th ACM SIGPLAN internat

[ACM Press the 14th ACM SIGPLAN international conference - Edinburgh, Scotland (2009.08.31-2009.09.02)] Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 - A universe of binding and computation

✍ Licata, Daniel R.; Harper, Robert 📂 Article 📅 2009 🏛 ACM Press ⚖ 517 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