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

Document Date: 2015-12-21 08:20:24

Open Document

File Size: 316,23 KB

Share Result on Facebook