Extending the Quantitative Pattern-Matching Paradigm

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…