FreeST: Context-free Session Types in a Functional Language

Bernardo Almeida
(LASIGE, Faculdade de Ciencias, Universidade de Lisboa, Portugal)
Andreia Mordido
(LASIGE, Faculdade de Ciencias, Universidade de Lisboa, Portugal)
Vasco T. Vasconcelos
(LASIGE, Faculdade de Ciencias, Universidade de Lisboa, Portugal)

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.

In Francisco Martins and Dominic Orchard: Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES 2019), Prague, Czech Republic, 7th April 2019, Electronic Proceedings in Theoretical Computer Science 291, pp. 12–23.
Published: 2nd April 2019.

ArXived at: http://dx.doi.org/10.4204/EPTCS.291.2 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org