Principals in Programming Languages: A Syntactic Proof Technique (1999)

Cached

Download Links

by Steve Zdancewic , Dan Grossman , Greg Morrisett
Venue:In Proc. ICFP, Paris
Citations:18 - 1 self