A simple blame calculus for explicit nulls

DOI10.1017/S0956796824000121MaRDI QIDQ6976536zbMATH OpenFDO

Authors Ondřej Lhoták, Philip Wadler

Publication date 2 June 2025

Published in Journal of Functional Programming (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/S0956796824000121

Mathematics Subject Classification ID

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

Cites work

• A syntactic approach to type soundness
• Abstracting gradual typing
• Contracts for higher-order functions
• Engineering formal metatheory
• Operational semantics for multi-language programs
• Ott: Effective tool support for the working semanticist
• The essence of dependent object types
• Well-Typed Programs Can’t Be Blamed

This page was built for publication: A simple blame calculus for explicit nulls

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6976536)