Work

FreeST: Context-free Session Types in a Functional Language

Year: 2019

Type: article

Abstract: 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.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.291.2

Authors: Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos

Institutions: University of Lisbon, Laboratório de Sistemas Informáticos de Grande Escala

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

Funder: Fundação para a Ciência e a Tecnologia

Award: LABORATÓRIO DE SISTEMAS INFORMÁTICOS DE GRANDE-ESCALA