Pattern-matching dependent types in Coq – Matthew Brecknell - discu.eu

Reddit

Pattern-matching dependent types in Coq http://matthew.brecknell.net/post/pattern-matching-dependent-types-in-coq/ 6 comments 21/5/2015 coq

Linked pages

Certified Programming with Dependent Types http://adam.chlipala.net/cpdt/ 117 comments

Related searches:

Search whole site: site:matthew.brecknell.net

Search title: Pattern-matching dependent types in Coq – Matthew Brecknell

See how to search.

Submit link to: