4 ms·
I'd also recommend Practical Foundations for Programming Languages (PFPL). And a bunch of other things, which I outlined here: So You Want To Learn Type Theory
by psygnisfive 9y ago
I'd also recommend Practical Foundations for Programming Languages (PFPL). And a bunch of other things, which I outlined here:
So You Want To Learn Type Theory (http://purelytheoretical.com/sywtltt.html http://purelytheoretical.com/sywtltt.html)