Pages that link to "Item:Q859841"
From MaRDI portal
The following pages link to Type checking a multithreaded functional language with session types (Q859841):
Displaying 20 items.
- The stream-based service-centred calculus: a foundation for service-oriented programming (Q736830) (← links)
- Combining behavioural types with security analysis (Q890614) (← links)
- Amalgamating sessions and methods in object-oriented languages with generics (Q1004058) (← links)
- Objects and session types (Q1021571) (← links)
- Polymorphic lambda calculus with context-free session types (Q2105433) (← links)
- Prioritise the best variation (Q2117016) (← links)
- Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus (Q2343135) (← links)
- Session types revisited (Q2407105) (← links)
- Session Types with Gradual Typing (Q2811931) (← links)
- Type-Based Analysis for Session Inference (Extended Abstract) (Q2827469) (← links)
- On projecting processes into session types (Q2883119) (← links)
- Bounded polymorphism in session types (Q3535678) (← links)
- Parameterised notions of computation (Q3638920) (← links)
- Relating Functional and Imperative Session Types (Q5043592) (← links)
- Linear type theory for asynchronous session types (Q5189644) (← links)
- Deriving session and union types for objects (Q5410236) (← links)
- Asynchronous Session Types and Progress for Object Oriented Languages (Q5428903) (← links)
- Linearity, session types and the Pi calculus (Q5741562) (← links)
- An extensible approach to session polymorphism (Q5741569) (← links)
- Separating Sessions Smoothly (Q6135771) (← links)
