@article{augustsson-2023-verse,
title = {The Verse Calculus: a Core Calculus for Deterministic Functional Logic Programming},
volume = {7},
DOI = {10.1145/3607845},
number = {ICFP},
journal = {Proceedings of the ACM on Programming Languages},
author = {Augustsson, Lennart and Breitner, Joachim and Claessen, Koen and Jhala, Ranjit and Peyton Jones, Simon and Shivers, Olin and Steele, Guy L. and Sweeney, Tim},
year = {2023},
pages = {417--447}
}