Region Inference for Higher-Order Functional Languages
No abstract available.
Related papers
- Parallelism in a Region Inference Context PLDI 2023
- Garbage-Collection Safety for Region-Based Type-Polymorphic Programs PLDI 2023
- Safe Transferable Regions ECOOP 2018
- Explicit Effects and Effect Constraints in ReML POPL 2024
- Lightweight monadic regions Haskell 2008
- Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages PLDI 1995
- λPSI: exact inference for higher-order probabilistic programs PLDI 2020
- Denotational validation of higher-order Bayesian inference POPL 2018