An Indexed Model of Recursive Types for Foundational Proof-Carrying Code (2000)

Cached

Download Links

by Andrew W. Appel , David Mcallester
Venue:ACM Transactions on Programming Languages and Systems
Citations:135 - 13 self