"Seminaïve evaluation for a higher-order functional language."

Michael Arntzenius, Neel Krishnaswami (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics