A non-deterministic call-by-need lambda calculus
From MaRDI portal
Publication:5234278
DOI10.1145/289423.289462zbMath1428.68106OpenAlexW2166853829MaRDI QIDQ5234278
Arne Kutzner, Manfred Schmidt-Schauss
Publication date: 26 September 2019
Published in: Proceedings of the third ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: http://publikationen.ub.uni-frankfurt.de/files/3471/p324-kutzner.pdf
This page was built for publication: A non-deterministic call-by-need lambda calculus