This site provides links to data, source code, etc. produced as parts of Wesleyan University Computer Science faculty research projects.

Follow

Submissions from 2013

File

Certified cost bounds for higher-order programs, Norman Danner