Back to Results
First PageMeta Content
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

Document Date: 2018-10-23 12:14:23


Open Document

File Size: 313,84 KB

Share Result on Facebook
UPDATE