research
∙
02/15/2023
Multi-graded Featherweight Java
Resource-aware type systems statically approximate not only the expected...
share
research
∙
09/15/2022
Coeffects for Sharing and Mutation
In type-and-coeffect systems, contexts are enriched by coeffects modelin...
research
∙
03/24/2022
Asynchronous Sessions with Input Races
We propose a calculus for asynchronous multiparty sessions where input c...
research
∙
01/01/2022
Event structure semantics for multiparty sessions
We propose an interpretation of multiparty sessions as "flow event struc...
research
∙
11/23/2021
Deconfined Global Types for Asynchronous Sessions
Multiparty sessions with asynchronous communications and global types pl...
research
∙
02/01/2021
Global types and event structure semantics for asynchronous multiparty sessions
We propose an interpretation of multiparty sessions with asynchronous co...
research
∙
04/23/2019
A Syntactic Model of Mutation and Aliasing
Traditionally, semantic models of imperative languages use an auxiliary ...
research
∙
06/30/2018
Flexible recovery of uniqueness and immutability (Extended Version)
We present an imperative object calculus where types are annotated with ...
research
∙
03/15/2018
Tracing sharing in an imperative pure calculus (Extended Version)
We introduce a type and effect system, for an imperative object calculus...
research
∙
03/15/2018
