3 ms·
Types and Programming Languages[0] by Benjamin C. Pierce is a good introduction to type theory and programming languages. [0] https://www.cis.upenn.edu/~bcpier
by tjalfi 6y ago
Types and Programming Languages[0] by Benjamin C. Pierce is a good introduction to type theory and programming languages.
[0] https://www.cis.upenn.edu/~bcpierce/tapl/ https://www.cis.upenn.edu/~bcpierce/tapl/