Back to Results
First PageMeta Content
Coq / Herbelin / Coenzyme Q10 / Gérard Huet / SIGPLAN / Type class / Chemistry / Declarative programming / Software engineering


Coq — Recent History SIGPLAN Programming Language Software Award POPL 2014 — San Diego, USA January 23rd 2014
Add to Reading List

Document Date: 2014-01-23 18:22:07

Open Document

File Size: 3,15 MB

Share Result on Facebook
UPDATE