Pure Pattern Calculus
Abstract elided by the publisher.
Related papers
- First-class patterns JFP 2009
- Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus Haskell 2024
- A Calculus for Assignments in Higher-Order Languages POPL 1987
- Pure patterns type systems POPL 2003
- Aliasing Control in an Imperative Pure Calculus APLAS 2015
- Destination Calculus: A Linear 𝜆-Calculus for Purely Functional Memory Writes OOPSLA 2025
- The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus JFP 2019
- MC2 A module calculus for Pure Type Systems JFP 2007