Gradual type theory (Q5019016): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Dependent Types and Fibred Computational Effects
@@ Property / cites work: Dependent Types and Fibred Computational Effects / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+An Effect System for Algebraic Effects and Handlers
+Normal rank
@@ Property / cites work @@
+The gradualizer: a methodology and algorithm for generating gradual type systems
+Normal rank
@@ Property / cites work @@
+Automatically generating the dynamic semantics of gradually typed languages
+Normal rank
@@ Property / cites work @@
+Foundations of dependent interoperability
@@ Property / cites work: Foundations of dependent interoperability / rank @@
+Normal rank
@@ Property / cites work @@
+The interaction of contracts and laziness
@@ Property / cites work: The interaction of contracts and laziness / 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 @@
+Q4261086
@@ Property / cites work: Q4261086 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstracting gradual typing
@@ Property / cites work: Abstracting gradual typing / rank @@
+Normal rank
@@ Property / cites work @@
+Locus Solum: From the rules of logic to the logic of rules
+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 @@
+Q4829806
@@ Property / cites work: Q4829806 / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual isomorphisms
@@ Property / cites work: Contextual isomorphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4989404
@@ Property / cites work: Q4989404 / rank @@
+Normal rank
@@ Property / cites work @@
+Do be do be do
@@ Property / cites work: Do be do be do / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Models of a Non-associative Composition
@@ Property / cites work: Models of a Non-associative Composition / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-name Gradual Type Theory
@@ Property / cites work: Call-by-name Gradual Type Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5214814
@@ Property / cites work: Q5214814 / rank @@
+Normal rank
@@ Property / cites work @@
+Gradual type theory
@@ Property / cites work: Gradual type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Polarized Substructural Session Types
@@ Property / cites work: Polarized Substructural Session Types / rank @@
+Normal rank
@@ Property / cites work @@
+Q2704328
@@ Property / cites work: Q2704328 / 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 Recursive Union of Some Gradual Types
@@ Property / cites work: The Recursive Union of Some Gradual Types / 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 @@
+How to evaluate the performance of gradual type systems
+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 / cites work @@
+Static contract checking for Haskell
@@ Property / cites work: Static contract checking for Haskell / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0956796821000125
+Normal rank
@@ Property / OpenAlex ID @@
+W3205784599
@@ Property / OpenAlex ID: W3205784599 / rank @@
+Normal rank