✦ LIBER ✦

[ACM Press the 2005 ACM SIGPLAN workshop - Tallinn, Estonia (2005.09.30-2005.09.30)] Proceedings of the 2005 ACM SIGPLAN workshop on Haskell - Haskell '05 - Verifying haskell programs using constructive type theory

✍ Scribed by Abel, Andreas; Benke, Marcin; Bove, Ana; Hughes, John; Norell, Ulf

Book ID: 121221115
Publisher: ACM Press
Year: 2005
Weight: 189 KB
Category: Article
ISBN-13: 9781595930712
DOI: 10.1145/1088348.1088355

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the 2005 ACM SIGPLAN workshop

[ACM Press the 2005 ACM SIGPLAN workshop - Tallinn, Estonia (2005.09.30-2005.09.30)] Proceedings of the 2005 ACM SIGPLAN workshop on Haskell - Haskell '05 - There and back again

✍ Alimarine, Artem; Smetsers, Sjaak; van Weelden, Arjen; van Eekelen, Marko; Plasm 📂 Article 📅 2005 🏛 ACM Press 🌐 English ⚖ 171 KB

Sponsored By The Association For Computing Machinery Special Interest Group On Programming Languages (sigplan). The 2005 Haskell Workshop Takes Place On 30 September, 2005, In Tallinn, Estonia, In Affiliation With The 2005 International Conference On Functional Programming (icfp'05)--p. Iii. Order N

[ACM Press the 2005 ACM SIGPLAN workshop

[ACM Press the 2005 ACM SIGPLAN workshop - Tallinn, Estonia (2005.09.30-2005.09.30)] Proceedings of the 2005 ACM SIGPLAN workshop on Haskell - Haskell '05 - There and back again

✍ Alimarine, Artem; Smetsers, Sjaak; van Weelden, Arjen; van Eekelen, Marko; Plasm 📂 Article 📅 2005 🏛 ACM Press 🌐 English ⚖ 171 KB

Invertible programming occurs in the area of data conversion where it is required that the conversion in one direction is the inverse of the other. For that purpose, we introduce bidirectional arrows (biarrows). The bi-arrow class is an extension of Haskell's arrow class with an extra combinator tha

[ACM Press the ACM SIGPLAN workshop - Sn

[ACM Press the ACM SIGPLAN workshop - Snowbird, Utah, USA (2004.09.22-2004.09.22)] Proceedings of the ACM SIGPLAN workshop on Haskell - Haskell '04 - Strongly typed heterogeneous collections

✍ Kiselyov, Oleg; Lämmel, Ralf; Schupke, Keean 📂 Article 📅 2004 🏛 ACM Press 🌐 English ⚖ 159 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 3rd ACM SIGPLAN workshop

[ACM Press the 3rd ACM SIGPLAN workshop - Tallinn, Estonia (2005.09.30-2005.09.30)] Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding - MERLIN '05 - A computational approach to reflective meta-reasoning about languages with bindings

✍ Nogin, Aleksey; Kopylov, Alexei; Yu, Xin; Hickey, Jason 📂 Article 📅 2005 🏛 ACM Press 🌐 English ⚖ 234 KB

A. Momigliano & R. Pollack, Editors ; Sponsored By The Association For Computing Machinery Special Interest Group On Programming Languages (sigplan). ... Held In Association With The 10th Acm Sigplan International Conference On Functional Programming (icfp 2005), On August 30th, 2005 In Tallinn, Est