![Computer programming / Software engineering / Type theory / Computing / Functional programming / Adjoint functors / Monad / HindleyMilner type system / Variety / Redblack tree / List Computer programming / Software engineering / Type theory / Computing / Functional programming / Adjoint functors / Monad / HindleyMilner type system / Variety / Redblack tree / List](https://www.pdfsearch.io/img/c9222fdbd33045af0cb59c0e36319826.jpg) Date: 2018-10-23 12:14:23Computer 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 UniversityAdd to Reading ListSource URL: jeapostrophe.github.ioDownload Document from Source Website File Size: 313,84 KBShare Document on Facebook
|