How to evaluate the performance of gradual type systems (Q4972071): Difference between revisions

@@ Property / cites work @@
+Complete Monitors for Behavioral Contracts
@@ Property / cites work: Complete Monitors for Behavioral Contracts / rank @@
+Normal rank
@@ Property / cites work @@
+Q5830926
@@ Property / cites work: Q5830926 / rank @@
+Normal rank
@@ Property / cites work @@
+Calculating threesomes, with blame
@@ Property / cites work: Calculating threesomes, with blame / rank @@
+Normal rank
@@ Property / cites work @@
+Principal Type Schemes for Gradual Programs
@@ Property / cites work: Principal Type Schemes for Gradual Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Abstracting gradual typing
@@ Property / cites work: Abstracting gradual typing / rank @@
+Normal rank
@@ Property / cites work @@
+Space-Efficient Manifest Contracts
@@ Property / cites work: Space-Efficient Manifest Contracts / rank @@
+Normal rank
@@ Property / cites work @@
+Space-efficient gradual typing
@@ Property / cites work: Space-efficient gradual typing / 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 @@
+Soft contract verification
@@ Property / cites work: Soft contract verification / 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 @@
+Monotonic References for Efficient Gradual Typing
@@ Property / cites work: Monotonic References for Efficient Gradual Typing / rank @@
+Normal rank
@@ Property / cites work @@
+Threesomes, with and without blame
@@ Property / cites work: Threesomes, with and without blame / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997095
@@ Property / cites work: Q3997095 / rank @@
+Normal rank
@@ Property / cites work @@
+Practical Variable-Arity Polymorphism
@@ Property / cites work: Practical Variable-Arity Polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+How to evaluate the performance of gradual type systems
+Normal rank
@@ Property / cites work @@
+Constraining Delimited Control with Contracts
@@ Property / cites work: Constraining Delimited Control with Contracts / 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