25 citations · 59 across the 17 of their papers we have counts for
4 papers · 1 filter
EXPRESSing Session Types
Ilaria Castellani, Ornela Dardha, Luca Padovani +1
To celebrate the 30th edition of EXPRESS and the 20th edition of SOS we overview how session types can be expressed in a type theory for the standard -calculus by means of a sui…
Traced Types for Safe Strategic Rewriting
Rongxiao Fu, Ornela Dardha, Michel Steuwer
Strategy languages enable programmers to compose rewrite rules into strategies and control their application. This is useful in programming languages, e.g., for describing program…
Structural Subtyping as Parametric Polymorphism
Wenhao Tang, Daniel Hillerström, James McKinna +4
Structural subtyping and parametric polymorphism provide similar flexibility and reusability to programmers. For example, both features enable the programmer to provide a wider rec…
MAG: Types for Failure-Prone Communication
Matthew Alan Le Brun, Ornela Dardha
Multiparty Session Types (MPST) are a typing discipline for communication-centric systems, guaranteeing communication safety, deadlock freedom and protocol compliance. Several work…