Cppcon tonight at 8:30 in Bellevue

[Andrei Alexandrescu via Digitalmars-d-announce]

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