evan_tech

Previous Entry Share Next Entry
Advanced Topics in Types and Programming Languages looks hottt. Greg Morrisett (of Cyclone, these days) did a chapter on TAL, Necula (of CCured, CIL, and others) has another, and some of the O'Caml guys did 70 pages on type inference.