Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters. - Sven Keidel; Sebastian Erdweg; Tobias Hombücher (Proc. ACM Program. Lang., 2023)