Intrinsically Typed Sessions with Callbacks (Functional Pearl)

All formalizations of session types rely on linear types for soundness as session-typed communication channels must change their type at every operation. Embedded language implementations of session types follow suit. They either rely on clever typing constructions to guarantee linearity statically,...

Full description

Bibliographic Details

Published in:	Proceedings of ACM on programming languages Vol. 7; no. ICFP; pp. 711 - 739
Main Author:	Thiemann, Peter
Format:	Journal Article
Language:	English
Published:	New York, NY, USA ACM 30.08.2023
Subjects:	Concurrent programming languages Concurrent programming structures Software and its engineering domain specific languages session types Agda dependent types
ISSN:	2475-1421, 2475-1421
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!