Tipo
Outros
Tipo de Documento
Propostas técnico-científicas
Título
FreeST: Context-free Session Types in a Functional Language
Participantes na publicação
Bernardo Almeida (Author)
LASIGE
Andreia Mordido (Author)
Dep. Informática
LASIGE
Vasco T. Vasconcelos (Author)
Dep. Informática
LASIGE
Resumo
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.
Data de Publicação
2019-04-02
Instituição
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA
Suporte
Electronic Proceedings in Theoretical Computer Science
Identificadores da Publicação
ISSN - 2075-2180
Editora
Open Publishing Association
Número de Páginas
11
Página Inicial
12
Página Final
23
Identificadores do Documento
DOI -
https://doi.org/10.4204/eptcs.291.2
URL -
http://dx.doi.org/10.4204/eptcs.291.2