26 citations · 69 across the 9 of their papers we have counts for
3 papers · 1 filter
SafeRESTScript: Statically Checking REST API Consumers
Nuno Burnay, Antónia Lopes, Vasco T. Vasconcelos
Consumption of REST services has become a popular means of invoking code provided by third parties, particularly in web applications. Nowadays programmers of web applications can c…
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…