"An Efficient Type- and Control-Flow Analysis for System F."

Connor Adsit, Matthew Fluet (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics