Static blame for gradual typing

DOI10.1017/S0956796824000029MaRDI QIDQ6561530zbMATH OpenFDO

Authors Chenghao Su, Lin Chen, Li Yanhui, Yuming Zhou

Publication date 25 June 2024

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

Copyright license Creative Commons Attribution 4.0 International

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cites work

• scientific article; zbMATH DE number 1324833 (Why is no real title available?)
• scientific article; zbMATH DE number 1953274 (Why is no real title available?)
• A gradual interpretation of union types
• A theory of gradual effect systems
• Abstracting gradual typing
• Big types in little runtime: open-world soundness and collaborative blame for gradual type systems
• Blame for all
• Contracts for higher-order functions
• Exploring the Design Space of Higher-Order Casts
• Gradual type-and-effect systems
• Integrating typed and untyped code in a scripting language
• Monotonic references for efficient gradual typing
• Operational semantics for multi-language programs
• Practical Optional Types for Clojure
• Principal type schemes for gradual programs
• Space-efficient gradual typing
• The design and implementation of Typed Scheme
• Threesomes, with and without blame
• Well-Typed Programs Can’t Be Blamed

This page was built for publication: Static blame for gradual typing

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