research
∙
03/15/2023
Quantitative Global Memory
We show that recent approaches of static analysis based on quantitative ...
share
research
∙
11/30/2022
Linear Rank Intersection Types
Non-idempotent intersection types provide quantitative information about...
research
∙
04/26/2022
Structural Rules and Algebraic Properties of Intersection Types
In this paper we define several notions of term expansion, used to defin...
research
∙
10/31/2021
A Graphical Framework for the Category-Based Metamodel for Access Control and Obligations
We design a graph-based framework for the visualisation and analysis of ...
research
∙
09/18/2021
EVL: a typed functional language for event processing
We define EVL, a minimal higher-order functional language to deal with g...
research
∙
08/13/2021
An ML-style record calculus with extensible records
In this work, we develop a polymorphic record calculus with extensible r...
research
∙
12/04/2019
A Quantitative Understanding of Pattern Matching
This paper shows that the recent approach to quantitative typing systems...
research
∙
04/21/2019