Cppcon tonight at 8:30 in Bellevue

Andrei Alexandrescu via Digitalmars-d-announce digitalmars-d-announce at puremagic.com
Thu Sep 22 15:57:17 PDT 2016


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



More information about the Digitalmars-d-announce mailing list