Non-idempotent intersection types provide quantitative information about...
This paper presents a proof system for reasoning about execution time bo...
The semantic foundations for logic programming are usually separated int...
In this paper we define several notions of term expansion, used to defin...
In this paper we present a new static data type inference algorithm for ...
Types in logic programming have focused on conservative approximations o...