𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[ACM Press the 20th ACM SIGPLAN workshop - Austin, Texas, USA (2011.01.24-2011.01.25)] Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation - PERM '11 - Partial evaluation of the reversible language janus

✍ Scribed by Mogensen, Torben Ægidius

Book ID
127294347
Publisher
ACM Press
Year
2011
Weight
519 KB
Category
Article
ISBN
1450304850

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the 20th ACM SIGPLAN workshop
[ACM Press the 20th ACM SIGPLAN workshop - Austin, Texas, USA (2011.01.24-2011.01.25)] Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation - PERM '11 - Type classes in functional logic programming
✍ Martin-Martin, Enrique 📂 Article 📅 2011 🏛 ACM Press ⚖ 600 KB

Type classes provide a clean, modular and elegant way of writing overloaded functions. Functional logic programming languages (FLP in short) like Toy or Curry have adopted the Damas-Milner type system, so it seems natural to adopt also type classes in FLP. However, type classes has been barely intro