Building a Calculus of Data Structures
Abstract elided by the publisher.
Related papers
- Type Inference Builds a Short Cut to Deforestation ICFP 1999
- The essence of online data processing OOPSLA 2022
- Type-based confinement JFP 2006
- A Calculus for Amortized Expected Runtimes POPL 2023
- Wellfounded recursion with copatterns: a unified approach to termination and productivity ICFP 2013
- The pattern calculus TOPLAS 2004
- The Essence of Generalized Algebraic Data Types POPL 2024
- Every bit counts: The binary representation of typed data and programs JFP 2012