The following pages link to Objects and session types (Q1021571):
Displayed 15 items.
- Combining behavioural types with security analysis (Q890614) (← links)
- Type inference and strong static type checking for Promela (Q988201) (← links)
- Amalgamating sessions and methods in object-oriented languages with generics (Q1004058) (← links)
- Objects and session types (Q1021571) (← links)
- Global types with internal delegation (Q2286741) (← links)
- Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus (Q2343135) (← links)
- Synthesizing distributed protocol specifications from a UML state machine modeled service specification (Q2434558) (← links)
- Algorithmic type checking for a pi-calculus with name matching and session types (Q2436508) (← links)
- Session Types with Gradual Typing (Q2811931) (← links)
- A Calculus of Global Interaction based on Session Types (Q2864218) (← links)
- On projecting processes into session types (Q2883119) (← links)
- Concurrent Objects à la Carte (Q5187829) (← links)
- Deriving session and union types for objects (Q5410236) (← links)
- Asynchronous Session Types and Progress for Object Oriented Languages (Q5428903) (← links)
- Stateful Behavioral Types for Active Objects (Q6104495) (← links)