Space-efficient gradual typing (Q656856): Difference between revisions

@@ Property / DOI @@
-.1007/s10990-011-9066-z
@@ Property / DOI: 10.1007/s10990-011-9066-z / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+CLEAN
@@ Property / describes a project that uses: CLEAN / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10990-011-9066-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2003969655
@@ Property / OpenAlex ID: W2003969655 / 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 @@
+Q3771589
@@ Property / cites work: Q3771589 / 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 @@
+Trampolined style
@@ Property / cites work: Trampolined style / 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 @@
+Operational semantics for multi-language programs
@@ Property / cites work: Operational semantics for multi-language programs / rank @@
+Normal rank
@@ Property / cites work @@
+On the runtime complexity of type-directed unboxing
+Normal rank
@@ Property / cites work @@
+Q4673424
@@ Property / cites work: Q4673424 / 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 @@
+The design and implementation of typed scheme
@@ Property / cites work: The design and implementation of typed scheme / rank @@
+Normal rank
@@ Property / cites work @@
+Static contract checking for Haskell
@@ Property / cites work: Static contract checking for Haskell / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10990-011-9066-Z
@@ Property / DOI: 10.1007/S10990-011-9066-Z / rank @@
+Normal rank