most citedFreeST: Context-free Session Types in a Functional Language

9 citations · 9 across the 1 of their papers we have counts for

collaborators

1 paper

cs.PL2019★ 9 cited

FreeST: Context-free Session Types in a Functional Language

Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos

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 creat…