News for hackers. Stuff that matters.

A comment on Counterexamples in Type Systems. Parent comment

Re:Counterexamples in Type Systems by pansa2 on Monday May 24, 2021 @10:29AM (#27264750)
> What is a good an introductory text (or other resource) for learning?

The usual recommendation seems to be "Types and Programming Languages" by Benjamin C. Pierce.

[ Parent | on HN ]

There are no comments on this comment yet.