A formal equational theory for call-by-push-value

DOI10.1007/978-3-319-94821-8_31OpenAlexW2811139380MaRDI QIDQ1791198

Steve Zdancewic, Dmitri Garbuzov, Christine Rizkallah

Publication date: 4 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-94821-8_31

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

POPLMark reloaded: Mechanizing proofs by logical relations

Uses Software

• Coq
• CakeML
• Agda
• Coquet
• Lava
• Kami
• muFP

This page was built for publication: A formal equational theory for call-by-push-value