26 citations · 69 across the 9 of their papers we have counts for
7 papers · 1 filter
The Different Shades of Infinite Session Types
Simon J. Gay, Diogo Poças, Vasco T. Vasconcelos
Many type systems include infinite types. In session type systems, which are the focus of this paper, infinite types are important because they allow the specification of communica…
Protocol-based Smart Contract Generation
Afonso Falcão, Andreia Mordido, Vasco T. Vasconcelos
The popularity of smart contracts is on the rise, yet breaches in reliability and security linger. Among the many facets of smart contract reliability, we concentrate on faults roo…
Mixed Sessions: the Other Side of the Tape
Filipe Casal, Andreia Mordido, Vasco T. Vasconcelos
The original paper on Mixed Sessions introduce the side A of the tape: there is an encoding of classical sessions into mixed sessions. Here we present side B: there is a translatio…
Duality of Session Types: The Final Cut
Simon J. Gay, Peter Thiemann, Vasco T. Vasconcelos
Duality is a central concept in the theory of session types. Since a flaw was found in the original definition of duality for recursive types, several other definitions have been p…
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…
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…