research
∙
05/24/2020
Featherweight Go
We describe a design for generics in Go inspired by previous work on Fea...
share
research
∙
08/01/2019
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)
This work introduces the novel concept of kind refinement, which we deve...
research
∙
07/02/2019
Domain-Aware Session Types (Extended Version)
We develop a generalization of existing Curry-Howard interpretations of ...
research
∙
01/24/2018
Depending on Session-Typed Processes
This work proposes a dependent type theory that combines functions and s...
research
∙
11/02/2017
On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings
This work exploits the logical foundation of session types to determine ...
research
∙
10/27/2016