Bernardo Almeida (LASIGE, Faculdade de Ciencias, Universidade de Lisboa, Portugal) |
Andreia Mordido (LASIGE, Faculdade de Ciencias, Universidade de Lisboa, Portugal) |
Vasco T. Vasconcelos (LASIGE, Faculdade de Ciencias, Universidade de Lisboa, Portugal) |
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. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.291.2 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |