Linear type theory for asynchronous session types (Q5189644): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Type checking a multithreaded functional language with session types / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Subtyping for session types in the pi calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bounded polymorphism in session types / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Asynchronous Session Types and Progress for Object Oriented Languages / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Amalgamating sessions and methods in object-oriented languages with generics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Correspondence assertions for process synchronization in concurrent communications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A syntactic approach to type soundness / rank | |||
Normal rank |
Revision as of 14:16, 2 July 2024
scientific article; zbMATH DE number 5682646
Language | Label | Description | Also known as |
---|---|---|---|
English | Linear type theory for asynchronous session types |
scientific article; zbMATH DE number 5682646 |
Statements
Linear type theory for asynchronous session types (English)
0 references
17 March 2010
0 references
structured patterns of communication
0 references
multithreaded functional language with session types
0 references