Resource Bound Certification.

Karl Crary, Stephanie Weirich

Browse the full POPL paper archive.