Principals in Programming Languages: A Syntactic Proof Technique.

Steve Zdancewic, Dan Grossman, J. Gregory Morrisett

Browse the full ICFP paper archive.