A formalization of Static Analyses in System F.

Frdric Prost

Browse the full CADE paper archive.