Blame and coercion: Together again for the first time (Q5019015): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Blame for all
@@ Property / cites work: Blame for all / rank @@
+Normal rank
@@ Property / cites work @@
+Sound and complete models of contracts
@@ Property / cites work: Sound and complete models of contracts / rank @@
+Normal rank
@@ Property / cites work @@
+Practical typed lazy contracts
@@ Property / cites work: Practical typed lazy contracts / rank @@
+Normal rank
@@ Property / cites work @@
+Correct blame for contracts
@@ Property / cites work: Correct blame for contracts / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Monitors for Behavioral Contracts
@@ Property / cites work: Complete Monitors for Behavioral Contracts / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal higher-order contracts
@@ Property / cites work: Temporal higher-order contracts / rank @@
+Normal rank
@@ Property / cites work @@
+Contracts as Pairs of Projections
@@ Property / cites work: Contracts as Pairs of Projections / rank @@
+Normal rank
@@ Property / cites work @@
+Contracts for higher-order functions
@@ Property / cites work: Contracts for higher-order functions / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid type checking
@@ Property / cites work: Hybrid type checking / rank @@
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+Calculating threesomes, with blame
@@ Property / cites work: Calculating threesomes, with blame / rank @@
+Normal rank
@@ Property / cites work @@
+Space-Efficient Manifest Contracts
@@ Property / cites work: Space-Efficient Manifest Contracts / rank @@
+Normal rank
@@ Property / cites work @@
+Contracts made manifest
@@ Property / cites work: Contracts made manifest / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic typing: Syntax and proof theory
@@ Property / cites work: Dynamic typing: Syntax and proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Space-efficient gradual typing
@@ Property / cites work: Space-efficient gradual typing / rank @@
+Normal rank
@@ Property / cites work @@
+Typed Contracts for Functional Programming
@@ Property / cites work: Typed Contracts for Functional Programming / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Operational semantics for multi-language programs
@@ Property / cites work: Operational semantics for multi-language programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4673424
@@ Property / cites work: Q4673424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+Safe &amp; Efficient Gradual Typing for TypeScript
@@ Property / cites work: Safe & Efficient Gradual Typing for TypeScript / rank @@
+Normal rank
@@ Property / cites work @@
+Blame and coercion: Together again for the first time
+Normal rank
@@ Property / cites work @@
+Threesomes, with and without blame
@@ Property / cites work: Threesomes, with and without blame / rank @@
+Normal rank
@@ Property / cites work @@
+Exploring the Design Space of Higher-Order Casts
@@ Property / cites work: Exploring the Design Space of Higher-Order Casts / rank @@
+Normal rank
@@ Property / cites work @@
+Gradual typing embedded securely in JavaScript
@@ Property / cites work: Gradual typing embedded securely in JavaScript / rank @@
+Normal rank
@@ Property / cites work @@
+Session Types with Gradual Typing
@@ Property / cites work: Session Types with Gradual Typing / rank @@
+Normal rank
@@ Property / cites work @@
+The design and implementation of typed scheme
@@ Property / cites work: The design and implementation of typed scheme / rank @@
+Normal rank
@@ Property / cites work @@
+Big types in little runtime: open-world soundness and collaborative blame for gradual type systems
+Normal rank
@@ Property / cites work @@
+Well-Typed Programs Can’t Be Blamed
@@ Property / cites work: Well-Typed Programs Can’t Be Blamed / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0956796821000101
+Normal rank
@@ Property / OpenAlex ID @@
+W3205670054
@@ Property / OpenAlex ID: W3205670054 / rank @@
+Normal rank