Document type
Other
Document subtype
Technical-scientific proposal
Title
FreeST: Context-free Session Types in a Functional Language
Participants in the publication
Bernardo Almeida (Author)
LASIGE - LASIGE Computer Science and Engineering Research Centre
Andreia Mordido (Author)
Dep. Informatica
LASIGE - LASIGE Computer Science and Engineering Research Centre
Vasco T. Vasconcelos (Author)
Dep. Informatica
LASIGE - LASIGE Computer Science and Engineering Research Centre
Summary
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.
Date of Publication
2019-04-02
Institution
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA
Where published
Electronic Proceedings in Theoretical Computer Science
Publication Identifiers
ISSN - 2075-2180
Publisher
Open Publishing Association
Number of pages
11
Starting page
12
Last page
23
Document Identifiers
DOI -
https://doi.org/10.4204/eptcs.291.2
URL -
http://dx.doi.org/10.4204/eptcs.291.2