𝔖 Bobbio Scriptorium

✦ LIBER ✦

[ACM Press the seventh ACM SIGPLAN international conference - Pittsburgh, PA, USA (2002.10.04-2002.10.06)] Proceedings of the seventh ACM SIGPLAN international conference on Functional programming - ICFP '02 - A compiled implementation of strong reduction

✍ Scribed by Grégoire, Benjamin; Leroy, Xavier

Book ID: 115535233
Publisher: ACM Press
Year: 2002
Weight: 156 KB
Volume: 0
Category: Article
ISBN-13: 9781581134872
DOI: 10.1145/581478.581501

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the 2007 ACM SIGPLAN internat

[ACM Press the 2007 ACM SIGPLAN international conference - Freiburg, Germany (2007.10.01-2007.10.03)] Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07 - iTasks

✍ Plasmeijer, Rinus; Achten, Peter; Koopman, Pieter 📂 Article 📅 2007 🏛 ACM Press ⚖ 425 KB

[ACM Press the tenth ACM SIGPLAN interna

[ACM Press the tenth ACM SIGPLAN international conference - Tallinn, Estonia (2005.09.26-2005.09.28)] Proceedings of the tenth ACM SIGPLAN international conference on Functional programming - ICFP '05 - AtomCaml

✍ Ringenburg, Michael F.; Grossman, Dan 📂 Article 📅 2005 🏛 ACM Press 🌐 English ⚖ 238 KB

[ACM Press the 2007 ACM SIGPLAN internat

[ACM Press the 2007 ACM SIGPLAN international conference - Freiburg, Germany (2007.10.01-2007.10.03)] Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07 - Call-pattern specialisation for haskell programs

✍ Jones, Simon Peyton 📂 Article 📅 2007 🏛 ACM Press ⚖ 214 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 the fifth ACM SIGPLAN interna

[ACM Press the fifth ACM SIGPLAN international conference - Not Known (2000..-..)] Proceedings of the fifth ACM SIGPLAN international conference on Functional programming - ICFP '00 - Breadth-first numbering

✍ Okasaki, Chris 📂 Article 📅 2000 🏛 ACM Press 🌐 English ⚖ 129 KB

[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