research
∙
03/08/2023
Alice or Bob?: Process Polymorphism in Choreographies
We present PolyChorλ, a language for higher-order functional choreograph...
share
research
∙
11/05/2021
Pirouette: Higher-Order Typed Functional Choreographies
We present Pirouette, a language for typed higher-order functional chore...
research
∙
10/25/2020
Giving Semantics to Program-Counter Labels via Secure Effects
Type systems designed for information-flow control commonly use a progra...
research
∙
01/28/2020
