#Verse #paper #PDF #toread: “Functional logic languages have a rich literature, but it is tricky to give them a satisfying semantics. In this paper we describe the Verse calculus, VC, a new core calculus for functional logical programming. Our main contribution is to equip VC with a small-step rewrite semantics, so that we can reason about a VC program in the same way as one does with lambda calculus; that is, by applying successive rewrites to it.”
on 02025-12-26Discussion of #SPJ’s "Verse" functional logic programming language core calculus (and Olin Shivers’s, et al.) #toread
on 02025-12-26