Formal verification of the correspondence between call-by-need and call-by-name

DOI10.1007/978-3-319-90686-7_1OpenAlexW2802772145MaRDI QIDQ1648863

Masayuki Mizuno, Eijiro Sumii

Publication date: 9 July 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-90686-7_1

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• Unnamed Item

This page was built for publication: Formal verification of the correspondence between call-by-need and call-by-name