𝔖 Bobbio Scriptorium
✦   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 - There and back again

✍ Scribed by Alimarine, Artem; Smetsers, Sjaak; van Weelden, Arjen; van Eekelen, Marko; Plasmeijer, Rinus

Book ID
126822812
Publisher
ACM Press
Year
2005
Tongue
English
Weight
171 KB
Category
Article
ISBN-13
9781595930712

No coin nor oath required. For personal study only.

✦ Synopsis

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 Number: 565052--p. Ii. Includes Bibliographical References And Author Index. Also Issued Online With Additional Title: Proceedings Of The 2005 Acm Sigplan Workshop On Haskell.

πŸ“œ 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

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