I've been reading Types and Programming Languages by Benjamin Pierce. It's a fantastic book and I plan on eventually going through the whole thing. For now, I've been skipping around a bit to get to the stuff I'm interested in first. Pierce has included a lovely dependency graph between all of the chapters so you know what to read and in what order. It's super nice.
I've been reading Types and Programming Languages by Benjamin Pierce. It's a fantastic book and I plan on eventually going through the whole thing. For now, I've been skipping around a bit to get to the stuff I'm interested in first. Pierce has included a lovely dependency graph between all of the chapters so you know what to read and in what order. It's super nice.