A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University

First Page		Document Content
Date: 2018-10-23 12:14:23 Computer programming Software engineering Type theory Computing Functional programming Adjoint functors Monad HindleyMilner type system Variety Redblack tree List		A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University Add to Reading List Source URL: jeapostrophe.github.io Download Document from Source Website File Size: 313,84 KB Share Document on Facebook

	Cartesian Closure for Stable Categories (draft) Paul Taylor DocID: 1rpTZ - View Document
	207 Documenta Math. Acyclicity Versus Total Acyclicity for Complexes over Noetherian Rings DocID: 1rozM - View Document
	ON CROSSED PRODUCT RINGS WITH TWISTED INVOLUTIONS, THEIR MODULE CATEGORIES AND L-THEORY arXiv:0710.2282v2 [math.KT] 15 Oct 2007 DocID: 1rnm6 - View Document
	879 Documenta Math. Rectification of Algebras and Modules Vladimir Hinich DocID: 1rdIB - View Document
	193 Documenta Math. On the Structure of Calabi-Yau Categories with a Cluster Tilting Subcategory DocID: 1r84m - View Document