FreeST: context-free session types in a functional language (PLACES 2019 - 11th Workshop on Programming Language Approaches to Concurrency- & Communication-cEntric Software)

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Who

Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos

Track

PLACES 2019

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Sun 7 Apr 2019 11:00 - 11:30 at S8 - II Chair(s): Ornela Dardha

Abstract

FreeST is an experimental concurrent programming language. Based on a core 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. This abstract provides a gentle introduction to the language and discusses the compilation process and runtime system.

Bernardo Almeida

Universidade de Lisboa

Andreia Mordido

Lasige / Faculty of Sciences, Universidade de Lisboa

Vasco T. Vasconcelos

University of Lisbon, Portugal