Sven Keidel, Casper Bach Poulsen, Sebastian Erdweg | Arrow-Based Abstract Interpreters | ICFP 2018 | September 25, 2018 | PDF