The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming
| Title: | The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming |
|---|---|
| Authors: | Augustsson, Lennart; Breitner, Joachim; Claessen, Koen; Jhala, Ranjit; Peyton Jones, Simon; Shivers, Olin; Steele Jr., Guy L.; Sweeney, Tim |
| Source: | Proceedings of the ACM on Programming Languages. 7(ICFP):417-447 |
| Availability: | http://dl.acm.org/doi/10.1145/3607845 |
| Database: | ACM Full-Text Collection |