Publication Date
April 2012
Advisor(s)
Norman Danner
Major
Computer Science
Language
English (United States)
Recommended Citation
Paykin, Jennifer Lynn, "Automated Cost Analysis of a Higher-Order Language in Coq" (2012). Honors Theses - All. Paper 871.
http://wesscholar.wesleyan.edu/etd_hon_theses/871
COinS
© Copyright is owned by author of this document