Lightweight functional session types

Sam Lindley, J. Garrett Morris

Research output: Chapter in Book/Report/Conference proceedingChapter

4 Citations (Scopus)

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

ASJC Scopus subject areas

  • Computer Science(all)

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

  • Cite this

    Lindley, S., & Morris, J. G. (2017). Lightweight functional session types. In Behavioural Types: from Theory to Tools English (pp. 265-286). River Publishers.