Back to Results
First PageMeta Content
Software engineering / Type theory / Declarative programming / Computing / Generic programming / Polytypic / Polymorphism / Map / Lambda calculus / Dependent type / Fold / CurryHoward correspondence


Polytypic Programming 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: 161,51 KB

Share Result on Facebook