Mechanizing the meta-theory of programming languages.

Robert Harper

Browse the full ICFP paper archive.