37 citations · 96 across the 19 of their papers we have counts for
1 paper · 2 filters
Sandra Alves, Delia Kesner, Miguel Ramos
We show how (well-established) type systems based on non-idempotent intersection types can be extended to characterize termination properties of functional programming languages wi…