FreeST: Context-free Session Types in a Functional Language

FreeST: Context-free Session Types in a Functional Language

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

Full description

Bibliographic Details
Main Authors: Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
Format: Article
Language:English
Published: Open Publishing Association 2019-04-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1904.01284v1
id doaj-d07842f85cea47d8909af9ef97cbe7e7
record_format Article
spelling doaj-d07842f85cea47d8909af9ef97cbe7e72020-11-25T00:11:30ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802019-04-01291Proc. PLACES 2019122310.4204/EPTCS.291.2:7FreeST: Context-free Session Types in a Functional LanguageBernardo Almeida0Andreia Mordido1Vasco T. Vasconcelos2 LASIGE, Faculdade de Ciencias, Universidade de Lisboa, Portugal LASIGE, Faculdade de Ciencias, Universidade de Lisboa, Portugal 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.http://arxiv.org/pdf/1904.01284v1
collection DOAJ
language English
format Article
sources DOAJ
author Bernardo Almeida
Andreia Mordido
Vasco T. Vasconcelos
spellingShingle Bernardo Almeida
Andreia Mordido
Vasco T. Vasconcelos
FreeST: Context-free Session Types in a Functional Language
Electronic Proceedings in Theoretical Computer Science
author_facet Bernardo Almeida
Andreia Mordido
Vasco T. Vasconcelos
author_sort Bernardo Almeida
title FreeST: Context-free Session Types in a Functional Language
title_short FreeST: Context-free Session Types in a Functional Language
title_full FreeST: Context-free Session Types in a Functional Language
title_fullStr FreeST: Context-free Session Types in a Functional Language
title_full_unstemmed FreeST: Context-free Session Types in a Functional Language
title_sort freest: context-free session types in a functional language
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2019-04-01
description 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.
url http://arxiv.org/pdf/1904.01284v1
work_keys_str_mv AT bernardoalmeida freestcontextfreesessiontypesinafunctionallanguage
AT andreiamordido freestcontextfreesessiontypesinafunctionallanguage
AT vascotvasconcelos freestcontextfreesessiontypesinafunctionallanguage
_version_ 1725403574046818304

Similar Items