FreeST: Context-free Session Types in a Functional Language
Programming Languages
2019-04-03 v1
Abstract
FreeST is an experimental concurrent programming language. Based on a core linear functional programming language, it features primitives to fork new threads, and for channel creation and communication. A powerful type system of context-free session types governs the interaction on channels. The compiler builds on a novel algorithm for deciding type equivalence of context-free session types. This abstract provides a gentle introduction to the language and discusses the validation process and runtime system.
Keywords
Cite
@article{arxiv.1904.01284,
title = {FreeST: Context-free Session Types in a Functional Language},
author = {Bernardo Almeida and Andreia Mordido and Vasco T. Vasconcelos},
journal= {arXiv preprint arXiv:1904.01284},
year = {2019}
}
Comments
In Proceedings PLACES 2019, arXiv:1904.00396