Static blame for gradual typing
From MaRDI portal
Publication:6561530
DOI10.1017/S0956796824000029MaRDI QIDQ6561530FDOQ6561530
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)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Integrating typed and untyped code in a scripting language
- Contracts for higher-order functions
- Well-Typed Programs Can’t Be Blamed
- The design and implementation of Typed Scheme
- Operational semantics for multi-language programs
- Exploring the Design Space of Higher-Order Casts
- Blame for all
- Space-efficient gradual typing
- Abstracting gradual typing
- A gradual interpretation of union types
- Threesomes, with and without blame
- Monotonic references for efficient gradual typing
- Practical Optional Types for Clojure
- A theory of gradual effect systems
- Principal type schemes for gradual programs
- Gradual type-and-effect systems
- Big types in little runtime: open-world soundness and collaborative blame for gradual type systems
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)
