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 - 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

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 }