research
∙
05/24/2020
Featherweight Go
We describe a design for generics in Go inspired by previous work on Fea...
share
research
∙
01/28/2020
Unifying graded and parameterised monads
Monads are a useful tool for structuring effectful features of computati...
research
∙
09/29/2019
Towards Races in Linear Logic
Process calculi based in logic, such as πDILL and CP, provide a foundati...
research
∙
09/15/2018
Gradual Session Types
Session types are a rich type discipline, based on linear types, that li...
research
∙
11/09/2017
