9 citations · 20 across the 5 of their papers we have counts for
7 papers
Higher-order Context-free Session Types in System F
Diana Costa, Andreia Mordido, Diogo Poças +1
We present an extension of System F with higher-order context-free session types. The mixture of functional types with session types has proven to be a challenge for type equivalen…
Polarized Subtyping
Zeeshan Lakhani, Ankush Das, Henry DeYoung +2
Polarization of types in call-by-push-value naturally leads to the separation of inductively defined observable values (classified by positive types), and coinductively defined com…
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…
Subtyping on Nested Polymorphic Session Types
Ankush Das, Henry DeYoung, Andreia Mordido +1
The importance of subtyping to enable a wider range of well-typed programs is undeniable. However, the interaction between subtyping, recursion, and polymorphism is not completely…
Nested Session Types
Ankush Das, Henry DeYoung, Andreia Mordido +1
Session types statically describe communication protocols between concurrent message-passing processes. Unfortunately, parametric polymorphism even in its restricted prenex form is…
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…