FreeST: context-free session types in a functional language
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 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
11:00 - 12:00
|FreeST: context-free session types in a functional language|
|Concurrent Typestate-Oriented Programming in Java|