26 citations · 69 across the 9 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.PL2019★ 14 cited
Label-Dependent Session Types
Peter Thiemann, Vasco T. Vasconcelos
Session types have emerged as a typing discipline for communication protocols. Existing calculi with session types come equipped with many different primitives that combine communi…
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…