News for hackers. Stuff that matters.

A comment on Software Foundations by Benjamin Pierce et al.. Parent comment

Re:Software Foundations by Benjamin Pierce et al. by mafribe on Monday December 14, 2015 @06:56AM (#10730521)
What's a suitable resource depends on your background. If you like books, "Proofs and Types" by Girard, Lafont, Taylor [1] is a great read, albeit idiosyncratic.

[1] http://www.paultaylor.eu/stable/prot.pdf

[ Parent | on HN ]

There are no comments on this comment yet.