Automated Cost Analysis of a Higher-Order Language in Coq
Document
Item Description
Name(s)
Author: Paykin, Jennifer Lynn
Thesis advisor: Danner, Norman
Date
April 15, 2012
Extent
74 pages
Language
eng
Genre
Physical Form
electronic
Discipline
Rights and Use
In Copyright – Non-Commercial Use Permitted
Digital Collection
PID
ir:649