Blame and coercion: Together again for the first time
From MaRDI portal
Publication:5019015
DOI10.1017/S0956796821000101OpenAlexW3205670054MaRDI QIDQ5019015FDOQ5019015
Authors: Jeremy G. Siek, Peter J. Thiemann, Philip Wadler 
Publication date: 27 December 2021
Published in: Journal of Functional Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0956796821000101
Cites Work
- Practical typed lazy contracts
- Gradual typing embedded securely in JavaScript
- Title not available (Why is that?)
- Sound and complete models of contracts
- An axiomatic basis for computer programming
- Types and programing languages
- Complete monitors for behavioral contracts
- Contracts for higher-order functions
- Typed Contracts for Functional Programming
- Contracts as Pairs of Projections
- Well-Typed Programs Can’t Be Blamed
- Title not available (Why is that?)
- Contracts made manifest
- The design and implementation of Typed Scheme
- Dynamic typing: Syntax and proof theory
- Operational semantics for multi-language programs
- Exploring the Design Space of Higher-Order Casts
- Hybrid type checking
- Blame for all
- Space-efficient gradual typing
- Session Types with Gradual Typing
- Safe \& efficient gradual typing for TypeScript
- Threesomes, with and without blame
- Space-efficient manifest contracts
- Correct blame for contracts, no more scapegoating
- Blame and coercion: Together again for the first time
- Temporal higher-order contracts
- Calculating threesomes, with blame
- Big types in little runtime: open-world soundness and collaborative blame for gradual type systems
Cited In (5)
This page was built for publication: Blame and coercion: Together again for the first time
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5019015)
