Abstract / Description of output
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.
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: from Theory to Tools |
| Editors | S.J. Gay, A. Ravara |
| Publisher | River Publishers |
| Publication status | Accepted/In press - 17 Feb 2017 |