Advanced Topics in Types and Programming Languages

by Benjamin C. Pierce

Advanced Topics in Types and Programming Languages By Benjamin C. Pierce

Genres: Computer Science, Programming, Technical, Nonfiction, Mathematics, Textbooks, Programming Languages

Paperback

First published December 23, 2004

Reviews

[Josh]

Reading the ML type inference chapter now. Like TAPL, it's a little dense, and it includes coverage of features that I could do without (since I'm just trying to learn this stuff for the first time). I glanced ahead a bit and don't think they actually show the code. I'm certain it's online, at least. I'd like some lighter material on the subject,\ if anyone knows of any good sources. There is some more introductory type inference stuff in PLAI (http://www.cs.brown.edu/~sk/Publicati...), but once again, I don't see any code examples. I'd love to see code for a type inference engine / constraint solver for a very simple language.

[Ayaz · Rating 3 out of 5]

A good compilation of topics in the field, but IMO you are better off reading individual papers on each subject this text covers. They do not build on top of each other.

[Nick Black]

hmmm, prices on this one have come way down! programming language theory people must be dying off.