Lightweight functional session types

Sam Lindley, J. Garrett Morris

Research output: Chapter in Book/Report/Conference proceedingChapter

9 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