1 citations · 4 across the 9 of their papers we have counts for
10 papers · 1 filter
Multiparty Session Types with a Bang!
Matthew Alan Le Brun, Simon Fowler, Ornela Dardha
Replication is an alternative construct to recursion for describing infinite behaviours in the pi-calculus. In this paper we explore the implications of including type-level replic…
MAG!: The Role of Replication in Typing Failure-Prone Communication
Matthew Alan Le Brun, Ornela Dardha
MAG is a Multiparty, Asynchronous and Generalised -calculus that introduces timeouts into session types as a means of reasoning about failure-prone communication. Its type sy…
Session Types for the Transport Layer: Towards an Implementation of TCP
Samuel Cavoj, Ivan Nikitin, Colin Perkins +1
Session types are a typing discipline used to formally describe communication-driven applications with the aim of fewer errors and easier debugging later into the life cycle of the…
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…