A Coq Library For Internal Verification of Running-Times Jay McCarthy1 , Burke Fetscher2 , Max New2 , Daniel Feltey2 , and Robert Bruce Findler2 1

First Page		Document Content
Date: 2015-12-21 08:20:24 Computer programming Software engineering Type theory Declarative programming Functional programming Adjoint functors Monad HindleyMilner type system Variety Redblack tree List		A Coq Library For Internal Verification of Running-Times Jay McCarthy1 , Burke Fetscher2 , Max New2 , Daniel Feltey2 , and Robert Bruce Findler2 1 Add to Reading List Source URL: www.ece.northwestern.edu Download Document from Source Website File Size: 316,23 KB Share Document on Facebook

	The Development of the AQ20 Learning System and Initial Experiments Guido Cervone Liviu Panait Ryszard Michalski* Machine Learning and Inference Laboratory, George Mason University, Fairfax, DocID: 1rpyc - View Document
	PML : A new proof assistant and deduction system Christophe Raffalli LAMA DocID: 1rnYn - View Document
	TRANSFORMING MULTIPLE-RECORD DATA INTO SINGLE-RECORD FORMAT WHEN NUMBER OF VARIABLES IS LARGE. David Izrael, Abt Associates Inc., Cambridge, MA David Russo, Independent Consultant ABSTRACT In one large survey project eac DocID: 1rk75 - View Document
	From ML to program proof or: The continuation of functional programming by other means Xavier Leroy INRIA Paris-Rocquencourt Milner symposium, DocID: 1reTA - View Document
	CARTOGRAPHIC GENERALIZATION IN A DIGITAL ENVIRONMENT: WHEN AND How To GENERALIZE K. Stuart Shea The Analytic Sciences Corporation (TASCSunset Hills Road Reston, Virginia 22090 DocID: 1qtLj - View Document