research
∙
11/30/2022
Linear Rank Intersection Types
Non-idempotent intersection types provide quantitative information about...
share
research
∙
10/20/2022
Execution Time Program Verification With Tight Bounds
This paper presents a proof system for reasoning about execution time bo...
research
∙
07/30/2022
Typed SLD-Resolution: Dynamic Typing for Logic Programming
The semantic foundations for logic programming are usually separated int...
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
∙
08/14/2021
Data Type Inference for Logic Programming
In this paper we present a new static data type inference algorithm for ...
research
∙
09/18/2019