Inferring Region Types via an Abstract Notion of Environment Transformation
Abstract elided by the publisher.
Related papers
- Polymorphic Type, Region and Effect Inference JFP 1992
- Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming ICFP 1999
- Explicit Effects and Effect Constraints in ReML POPL 2024
- Integrating region memory management and tag-free generational garbage collection JFP 2021
- From Region Inference to von Neumann Machines via Region Representation Inference POPL 1996
- Implementation of the Typed Call-by-Value lambda-Calculus using a Stack of Regions POPL 1994
- Deriving Algorithms From Type Inference Systems: Application to Strictness Analysis POPL 1994
- Parallelism in a Region Inference Context PLDI 2023