Lightweight functional session types

Sam Lindley*, J. Garrett Morris

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingChapter

14 Citations (SciVal)

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