2 papers
cs.LO2024
Proceedings 13th International Workshop on Developments in Computational Models
Sandra Alves, Ian Mackie
This volume contains the proceedings of DCM 2023, the 13th International Workshop on Developments in Computational Models held on 2 July 2023 in Rome, Italy. DCM 2023 was organised…
cs.PL2024
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…