Resource Bound Certi (2000)

by K Crary, S Weirich
Venue:In the Twenty-Seventh ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages