Pierce will get you working in Coq ASAP, but Harper will provide you with a much... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		notthemessiah on April 5, 2014 \| parent \| context \| favorite \| on: Learn C and build your own Lisp Pierce will get you working in Coq ASAP, but Harper will provide you with a much richer context.

me2i81 on April 5, 2014 [–]

TAPL isn't Coq-focused. Pierce and his collaborators have another book available online, Software Foundations, which is written as a Coq literate program: http://www.cis.upenn.edu/~bcpierce/sf/index.html

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact