If I was having a type theory argument there are few people in the world I'd rather have on my side. Few people understand the bridge between type theory and l

If I was having a type theory argument there are few people in the world I'd rather have on my side. Few people understand the bridge between type theory and language design so well. His joint paper on type classes should be required reading in PL courses: http://research.microsoft.com/en-us/um/people/emeijer/Papers/TypeClasses.pdf http://research.microsoft.com/en-us/um/people/emeijer/Papers...