BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

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
 Andreia Mordido (Author)
Dep. Informática
 LASIGE
 Vasco T. Vasconcelos (Author)
Dep. Informática
 LASIGE
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

Volume
291

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


Export

APA
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos, (2019). FreeST: Context-free Session Types in a Functional Language

IEEE
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos, "FreeST: Context-free Session Types in a Functional Language", 2019

BIBTEX
@misc{43426, author = {Bernardo Almeida and Andreia Mordido and Vasco T. Vasconcelos}, title = {FreeST: Context-free Session Types in a Functional Language}, year = 2019 }