Comment by pansa2

5 years ago

> 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.