9 citations · 21 across the 13 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LO2022
Linear Rank Intersection Types
Fábio Reis, Sandra Alves, Mário Florido
Non-idempotent intersection types provide quantitative information about typed programs, and have been used to obtain time and space complexity measures. Intersection type systems…
cs.LO2022
Structural Rules and Algebraic Properties of Intersection Types
Sandra Alves, Mário Florido
In this paper we define several notions of term expansion, used to define terms with less sharing, but with the same computational properties of terms typable in an intersection ty…