MAF: A Framework for Modular Static Analysis of Higher-Order Languages.

Noah Van Es, Jens Van der Plas, Quentin Stivenart, Coen De Roover

Browse the full SCAM paper archive.