Sat 6 Apr 2019 11:58 - 12:20 at Coffee area (Posters) - Workshop Poster Exhibition (Saturday) Chair(s): Jan Kofroň
Sun 7 Apr 2019 11:36 - 11:58 at Coffee area (Posters) - Workshop Poster Exhibition (Sunday)
Mon 8 Apr 2019 18:54 - 18:58 at 1st Floor Reception Area (Posters) - Main Poster Session Chair(s): Konrad Siek
Sun 7 Apr 2019 11:36 - 11:58 at Coffee area (Posters) - Workshop Poster Exhibition (Sunday)
Mon 8 Apr 2019 18:54 - 18:58 at 1st Floor Reception Area (Posters) - Main Poster Session Chair(s): Konrad Siek
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 work provides a gentle introduction to the language and discusses the validation process and runtime system.
Sat 6 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sat 6 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 7 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 8 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 8 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change