Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code
No abstract available.
Related papers
- Staged Compilation with Module Functors ICFP 2024
- Closure-Free Functional Programming in a Two-Level Type Theory ICFP 2024
- Staged generic programming ICFP 2017
- Staged abstract interpreters: fast and modular whole-program analysis via meta-programming OOPSLA 2019
- Fail Faster: Staging and Fast Randomness for High-Performance PBT OOPSLA 2026
- Implementing a category-theoretic framework for typed abstract syntax CPP 2022
- Type-safe generation of modules in applicative and generative styles GPCE 2021
- Staged selective parser combinators ICFP 2020