Lightweight functional session types

Sam Lindley; J. Garrett  Morris

Lightweight functional session types

Sam Lindley, J. Garrett Morris

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

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 language	English
Title of host publication	Behavioural Types: from Theory to Tools
Editors	S.J. Gay, A. Ravara
Publisher	River Publishers
Publication status	Accepted/In press - 17 Feb 2017

Access to Document

http://homepages.inf.ed.ac.uk/slindley/papers/fst.pdf

Cite this

@inbook{f0907259c25e4d6891982e6ba6b976ee,

title = "Lightweight functional session types",

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. ",

author = "Sam Lindley and Morris, \{J. Garrett\}",

year = "2017",

month = feb,

day = "17",

language = "English",

editor = "S.J. Gay and A. Ravara",

booktitle = "Behavioural Types: from Theory to Tools",

publisher = "River Publishers",

}

TY - CHAP

T1 - Lightweight functional session types

AU - Lindley, Sam

AU - Morris, J. Garrett

PY - 2017/2/17

Y1 - 2017/2/17

N2 - 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.

AB - 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.

M3 - Chapter (peer-reviewed)

BT - Behavioural Types: from Theory to Tools

A2 - Gay, S.J.

A2 - Ravara, A.

PB - River Publishers

ER -

Lightweight functional session types

Abstract

Access to Document

Fingerprint

Cite this