Frédéric Prost A formalization of Static Analyses in System F. 252-266 https://doi.org/10.1007/3-540-48660-7_22 1999 conf/cade/1999 CADE db/conf/cade/cade99.html#Prost99