4 ms·

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

by pansa2 5y 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.