Paper conditionally accepted at ICFP: Combinator-Based Fixpoint Algorithms

Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters
Sven Keidel, Sebastian Erdweg, and Tobias Homb├╝cher.
In Proceedings of the ACM on Programming Languages (ICFP). 2023.