3 ms·
Types and Programming Languages by Benjamin Pierce https://www.cis.upenn.edu/~bcpierce/tapl/ https://www.cis.upenn.edu/~bcpierce/tapl/
by kryptiskt 8y ago
Types and Programming Languages by Benjamin Pierce
https://www.cis.upenn.edu/~bcpierce/tapl/ https://www.cis.upenn.edu/~bcpierce/tapl/
- noir_lord 8y agoThank you!, this looks good. Heh, The kindle edition is only 3 quid less than the dead tree (in the UK). That one does make me chuckle, Might have to check if the library has a copy first.
- deleted 8y ago[deleted]