Witnessing Purity, Constancy and Mutability
No abstract available.
DOI 10.1007/978-3-642-10672-9_9
Related papers
- Purity of an ST monad: full abstraction by semantically typed back-translation OOPSLA 2022
- Witnessing side effects TOPLAS 2008
- Pure Borrow: Linear Haskell Meets Rust-Style Borrowing PLDI 2026
- Recalling a witness: foundations and applications of monotonic state POPL 2018
- Program Improvement by Source to Source Transformation POPL 1976
- JPure: A Modular Purity System for Java CC 2011
- Purity Analysis: An Abstract Interpretation Formulation SAS 2011
- Purity and Side Effect Analysis for Java Programs VMCAI 2005