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.
Cite
CITATION STYLE
APA
Lindley, S., & Morris, J. G. (2017). Lightweight functional session types. In Behavioural Types: from Theory to Tools English (pp. 265–286). River Publishers. https://doi.org/10.1201/9781003337331-12
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free