Book chapter
Lightweight Functional Session Types
Behavioural Types: from Theory to Tools , pp.265-286
River Publishers Series in Automation Control and Robotics, River Publishers
01/01/2017
Abstract
Row types provide an account of extensibility that combines well with parametric polymorphism and type inference. We discuss the integration of row types and session types in a concurrent functional programming language, and how row types can be used to describe extensibility in session-typed communication.
Details
- Title: Subtitle
- Lightweight Functional Session Types
- Creators
- Sam Lindley - University of EdinburghJ. Garrett Morris - University of Edinburgh
- Contributors
- S Gay (Editor)A Ravara (Editor)
- Resource Type
- Book chapter
- Publication Details
- Behavioural Types: from Theory to Tools , pp.265-286
- Publisher
- River Publishers; AALBORG
- Series
- River Publishers Series in Automation Control and Robotics
- Number of pages
- 22
- Language
- English
- Date published
- 01/01/2017
- Academic Unit
- Computer Science
- Record Identifier
- 9984410854002771
Metrics
2 Record Views