3 ms·
Bob Harper's _Practical Foundations for Programming Languages_ is a good starting point and from there I would go on to Benjamin Pierce's _Types and Programming
by gkuan 12y ago
Bob Harper's _Practical Foundations for Programming Languages_ is a good starting point and from there I would go on to Benjamin Pierce's _Types and Programming Languages_.