First Page | Document Content | |
---|---|---|
Date: 2015-12-21 08:20:24Computer 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 1Add to Reading ListSource URL: www.ece.northwestern.eduDownload Document from Source WebsiteFile Size: 316,23 KBShare Document on Facebook |