Посмотрите здесь под Lecture Notes.

У этого профессора есть замечательная книга, Programming Language Pragmatics. Если где-нибудь попадется в электронном или печатном (переведенная) виде, очень советую скачать/купить. Я читал первое издание, но думаю второе издание ничуть не хуже.