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

@@ Property / describes a project that uses @@
+JavaScript
@@ Property / describes a project that uses: JavaScript / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Pycket
@@ Property / describes a project that uses: Pycket / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Bigloo
@@ Property / describes a project that uses: Bigloo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Thorn
@@ Property / describes a project that uses: Thorn / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Stabilizer
@@ Property / describes a project that uses: Stabilizer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Python
@@ Property / describes a project that uses: Python / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sage
@@ Property / describes a project that uses: Sage / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LISP
@@ Property / describes a project that uses: LISP / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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 @@
+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
@@ Property / Wikidata QID @@
+Q128358614
@@ Property / Wikidata QID: Q128358614 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4972071