Session Types with Gradual Typing (Q2811931): Difference between revisions

@@ Property / cites work @@
+Session Types as Intuitionistic Linear Propositions
+Normal rank
@@ Property / cites work @@
+Objects and session types
@@ Property / cites work: Objects and session types / rank @@
+Normal rank
@@ Property / cites work @@
+Linear type theory for asynchronous session types
@@ Property / cites work: Linear type theory for asynchronous session types / rank @@
+Normal rank
@@ Property / cites work @@
+Modular session types for distributed object-oriented programming
+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 @@
+Multiparty asynchronous session types
@@ Property / cites work: Multiparty asynchronous session 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 @@
+Stateful Contracts for Affine Types
@@ Property / cites work: Stateful Contracts for Affine Types / rank @@
+Normal rank
@@ Property / cites work @@
+Type checking a multithreaded functional language with session types
+Normal rank
@@ Property / cites work @@
+Propositions as sessions
@@ Property / cites work: Propositions as sessions / rank @@
+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