1. Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters Autoren: Keidel, Sven; Erdweg, Sebastian; Hombuecher, Tobias Veröffentlichungsdatum: 2023 Typ: Zeitschriftenaufsatz