A Type System for Bounded Space and Functional In-Place Update--Extended Abstract
No abstract available.
Related papers
- Imperative Functional Programming POPL 1993
- A type system with usage aspects JFP 2008
- FP²: Fully in-Place Functional Programming ICFP 2023
- Another Type System for In-Place Update ESOP 2002
- An Interpretation of Objects and Object Types POPL 1996
- Getting to the point: index sets and parallelism-preserving autodiff for pointful array programming ICFP 2021
- Higher-order functional reactive programming in bounded space POPL 2012
- Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract) ICFP 1999