37 citations · 96 across the 19 of their papers we have counts for
1 paper · 2 filters
Beniamino Accattoli, Stéphane Graham-Lengrand, Delia Kesner
Multi types---aka non-idempotent intersection types---have been used to obtain quantitative bounds on higher-order programs, as pioneered by de Carvalho. Notably, they bound at the…