A Fresh Calculus for Name Management
Abstract elided by the publisher.
Related papers
- Fresh-register automata POPL 2011
- Probabilistic programming semantics for name generation POPL 2021
- Structural recursion with locally scoped names JFP 2011
- Nominal system T POPL 2010
- A fresh look at programming with names and binders ICFP 2010
- Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs POPL 2024
- A Fresh Approach to Representing Syntax with Static Binders in Functional Programming ICFP 2001
- FreshML: programming with binders made simple ICFP 2003