Augustsson, L., Breitner, J., Claessen, K., Jhala, R., Peyton Jones, S., Shivers, O., . . . Sweeney, T. (2023). The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming. Proceedings of ACM on programming languages, 7(ICFP), 417-447. https://doi.org/10.1145/3607845
Chicago-Zitierstil (17. Ausg.)Augustsson, Lennart, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr, und Tim Sweeney. "The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming." Proceedings of ACM on Programming Languages 7, no. ICFP (2023): 417-447. https://doi.org/10.1145/3607845.
MLA-Zitierstil (9. Ausg.)Augustsson, Lennart, et al. "The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming." Proceedings of ACM on Programming Languages, vol. 7, no. ICFP, 2023, pp. 417-447, https://doi.org/10.1145/3607845.