research
∙
04/02/2019
Multiparty Session Type-safe Web Development with Static Linearity
Modern web applications can now offer desktop-like experiences from with...
share
research
∙
10/27/2016
Fencing off Go: Liveness and Safety for Channel-based Programming (extended version)
Go is a production-level statically typed programming language whose des...
research
∙
12/10/2013
