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

Reply via email to