On 9/22/16 2:35 PM, Brad Anderson wrote:
I remember you recommending Types and Programming Languages by MIT Press awhile back. Is that still what you'd recommend for learning about type theory?
Yes, although not a lot of current work is available in book format at all. Also, I've heard Pierce's second book "Advanced Topics in Types and Programming Languages" is just way esoteric. Maybe Timon has some more recommendations. -- Andrei