Кажется, с комбинаторами консенсус. А вот с семантикой как основой языка и, как следствие, компилятора он, кажется не согласен?
На мой взгляд, у него начальные темы (семантика, абстрактные машины) плохо стыкуются с завершающими (оптимизации, экзотические архитектуры). Но это обычное дело для "двух тусовок". Каждая специализируется в своей области. Но в любом случае любопытно будет почитать конспекты его лекций. Он, кажется, специально не рассказывает подробно, интригует :)