OT: Speaking of Bob Harper, he made several references to some chapter while he was talking. Is that availible somewhere? His website has a PL: types and Practice draft, but that's updated january, a bit older than I would have expected.