Another Type System for In-Place Update
Abstract elided by the publisher.
Related papers
- A Type System for Bounded Space and Functional In-Place Update--Extended Abstract ESOP 2000
- A type system with usage aspects JFP 2008
- Imperative Functional Programming POPL 1993
- Regular Expression Subtyping for XML Query and Update Languages ESOP 2008
- Futhark: purely functional GPU-programming with nested parallelism and in-place array updates PLDI 2017
- Compile-time memory reuse in logic programming languages through update in place TOPLAS 1999
- Getting to the point: index sets and parallelism-preserving autodiff for pointful array programming ICFP 2021
- FP²: Fully in-Place Functional Programming ICFP 2023