𝔖 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 - A walk in the semantic park

✍ Scribed by Danvy, Olivier; Johannsen, Jacob; Zerny, Ian

Book ID
118009764
Publisher
ACM Press
Year
2011
Weight
453 KB
Volume
0
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