Skip to main content
Search
CS GUIDE
Main navigation
Academics
Undergraduate Program
Graduate Program
Courses
Research
Research Areas
Technical Reports
Computing Facilities
People
Faculty
Researchers
Technical Staff
Administrative Staff
Graduate Students
Undergraduate Students
Graduate Alumni
News & Events
Events
News
Diversity & Outreach
Climate and Inclusion Committee
REU on AI and Machine Learning
Resources for students
Outreach initiatives
Resources for faculty and staff
Reports for Author "McAllester, David"
Search by
Author
Title
Date
TR Number
Keywords
TR-629-00 -
An Indexed Model of Recursive Types for Foundational Proof-Carrying Code
(2000-11-00)
McAllester, David
/
Appel, Andrew W.