Back to Results
First PageMeta Content
Type theory / Generic programming / Polytypic / NP / Polymorphism / Functor / Dependent type / Map


Polytypic Properties and Proofs in Coq Wendy Verbruggen ∗ Edsko de Vries † Arthur Hughes
Add to Reading List

Document Date: 2016-08-02 06:27:04

Open Document

File Size: 217,33 KB

Share Result on Facebook
UPDATE