Lightweight functional session types

Sam Lindley*, J. Garrett Morris

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingChapter

23 Citations (Scopus)


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 languageEnglish
Title of host publicationBehavioural Types
Subtitle of host publicationfrom Theory to Tools English
PublisherRiver Publishers
Number of pages22
ISBN (Electronic)9788793519817
ISBN (Print)9788793519824
Publication statusPublished - 2017

ASJC Scopus subject areas

  • Computer Science(all)


Dive into the research topics of 'Lightweight functional session types'. Together they form a unique fingerprint.

Cite this