Type checking a multithreaded functional language with session types (Q859841): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2006.06.028
@@ Property / DOI: 10.1016/j.tcs.2006.06.028 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Cyclone
@@ Property / describes a project that uses: Cyclone / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PIPER
@@ Property / describes a project that uses: PIPER / 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.1016/j.tcs.2006.06.028
+Normal rank
@@ Property / OpenAlex ID @@
+W2105716349
@@ Property / OpenAlex ID: W2105716349 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Correspondence assertions for process synchronization in concurrent communications
+Normal rank
@@ Property / cites work @@
+Q2848666
@@ Property / cites work: Q2848666 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4471911
@@ Property / cites work: Q4471911 / rank @@
+Normal rank
@@ Property / cites work @@
+Types as models
@@ Property / cites work: Types as models / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Session Types for Object Oriented Languages
+Normal rank
@@ Property / cites work @@
+Trustworthy Global Computing
@@ Property / cites work: Trustworthy Global Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4436984
@@ Property / cites work: Q4436984 / rank @@
+Normal rank
@@ Property / cites work @@
+Subtyping for session types in the pi calculus
@@ Property / cites work: Subtyping for session types in the pi calculus / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Typing correspondence assertions for communication protocols
+Normal rank
@@ Property / cites work @@
+Resource usage analysis
@@ Property / cites work: Resource usage analysis / rank @@
+Normal rank
@@ Property / cites work @@
+A generic type system for the pi-calculus
@@ Property / cites work: A generic type system for the pi-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4778708
@@ Property / cites work: Q4778708 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3413374
@@ Property / cites work: Q3413374 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5713333
@@ Property / cites work: Q5713333 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2006.06.028
@@ Property / DOI: 10.1016/J.TCS.2006.06.028 / rank @@
+Normal rank