4 ms·
I also recommend Types and Programming Languages by Benjamin Pierce. It is a delightful textbook well suited to self study.
by danharaj 10y ago
I also recommend Types and Programming Languages by Benjamin Pierce. It is a delightful textbook well suited to self study.