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.
| Original language | English |
|---|---|
| Title of host publication | Behavioural Types |
| Subtitle of host publication | from Theory to Tools English |
| Publisher | River Publishers |
| Chapter | 12 |
| Pages | 265-286 |
| Number of pages | 22 |
| ISBN (Electronic) | 9788793519817 |
| ISBN (Print) | 9788793519824 |
| Publication status | Published - 2017 |
ASJC Scopus subject areas
- General Computer Science