3 ms·
Pierce will get you working in Coq ASAP, but Harper will provide you with a much richer context.
by notthemessiah 13y ago
Pierce will get you working in Coq ASAP, but Harper will provide you with a much richer context.
- me2i81 13y agoTAPL 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 http://www.cis.upenn.edu/~bcpierce/sf/index.html