Data, code, etc. Copyright (c) 2013 Wesleyan University All rights reserved. http://wesscholar.wesleyan.edu/compdata Recent documents in Data, code, etc. en-us Thu, 18 Apr 2013 11:00:22 PDT 3600 Certified cost bounds for higher-order programs http://wesscholar.wesleyan.edu/compdata/1 http://wesscholar.wesleyan.edu/compdata/1 Wed, 16 Jan 2013 09:03:47 PST The files in this directory comprise a formal development in Coq of a target language, complexity language, translation, and soundness theorem, all of which combine to provide a mechanism for certified cost bounds on higher-order programs. This section is intended to contain the most current version of the development, which may or may not correspond directly to the developments associated with particular papers from this project.

]]> Norman Danner