Lazy call-by-value evaluation

DOI10.1145/1291151.1291193zbMath1291.68110OpenAlexW2015675686MaRDI QIDQ5168933

Frank Huch, Sebastian Fischer, Michael Hanus, Germán Vidal, Bernd Braßel

Publication date: 21 July 2014

Published in: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.67.7799

zbMATH Keywords

lazinessdebugging techniques

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Uses Software

• Hat

This page was built for publication: Lazy call-by-value evaluation