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

	Notice of Filing of Proposed Rule Change to List and Trade Shares of SolidX Bitcoin Shares Issued by the VanEck SolidX Bitcoin Trust DocID: 1xW1x - View Document
	List of Important Contacts Franklin County Veterans Service Commission 280 East Broad Street Columbus, Ohio DocID: 1xVZU - View Document
	River Publishers Guidelines for Authors Submitting Journal Paper Action points before submission of final manuscript. Please use this list to ensure that your manuscript is complete. In case of any queries, please get in DocID: 1xVXe - View Document
	WORKSHOP - List of the participants Name Fatih Yalçın Tosun Cemile Ceren Ioana Cova Doina Maria Creanga DocID: 1xVTx - View Document
	River Publishers Guidelines for Authors Submitting Journal Paper Action points before submission of final manuscript. Please use this list to ensure that DocID: 1xVPl - View Document