An Efficient Type- and Control-Flow Analysis for System F. - Connor Adsit; Matthew Fluet (IFL, 2014)