ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sun 7 Apr 2019 11:00 - 11:30 at S8 - II Chair(s): Ornela Dardha

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.

Sun 7 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

places-2019-papers
11:00 - 12:00: PLACES - II at S8
Chair(s): Ornela DardhaUniversity of Glasgow
places-2019-papers11:00 - 11:30
Full-paper
Bernardo AlmeidaUniversidade de Lisboa, Andreia MordidoLasige / Faculty of Sciences, Universidade de Lisboa, Vasco T. VasconcelosUniversity of Lisbon, Portugal
places-2019-papers11:30 - 12:00
Full-paper
Rosita GerboUniversità di Torino, Luca PadovaniUniversity of Turin