![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/a4a3ba6029d60010dcfc690642315a74.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
|