9 citations · 29 across the 12 of their papers we have counts for
3 papers · 1 filter
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…
Polymorphic Lambda Calculus with Context-Free Session Types
Bernardo Almeida, Andreia Mordido, Peter Thiemann +1
Context-free session types provide a typing discipline for recursive structured communication protocols on bidirectional channels. They overcome the restriction of regular session…
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…