Rast: A Language for Resource-Aware Session Types

Traditional session types prescribe bidirectional communication protocols for concurrent computations, where well-typed programs are guaranteed to adhere to the protocols. However, simple session types cannot capture properties beyond the basic type of the exchanged messages. In response, recent wor...

Full description

Bibliographic Details

Published in:	Logical methods in computer science Vol. 18, Issue 1
Main Authors:	Das, Ankush, Pfenning, Frank
Format:	Journal Article
Language:	English
Published:	Logical Methods in Computer Science e.V 01.01.2022
Subjects:	computer science - logic in computer science computer science - programming languages
ISSN:	1860-5974, 1860-5974
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!