research
∙
04/06/2023
Unifying Linearity and Dependency Analyses
Linearity and dependency analyses are key to several applications in com...
share
research
∙
09/13/2022
Monadic and Comonadic Aspects of Dependency Analysis
Dependency analysis is vital to several applications in computer science...
research
∙
01/26/2022
A Dependent Dependency Calculus (Extended Version)
Over twenty years ago, Abadi et al. established the Dependency Core Calc...
research
∙
11/08/2020
A graded dependent type system with a usage-aware semantics (extended version)
Graded Type Theory provides a mechanism to track and reason about resour...
research
∙
05/31/2019