research
∙
06/11/2021
Union and intersection contracts are hard, actually
Union and intersection types are a staple of gradually typed language su...
research
∙
02/10/2021
Interpreting a concurrent λ-calculus in differential proof nets (extended version)
In this paper, we show how to interpret a language featuring concurrency...
research
∙
02/09/2021