Ця книга використовує функціональну мову програмування (F#) як метамову для представлення всіх концепцій і прикладів, і, отже, має оперативний відтінок, що дозволяє проводити практичні експерименти та вправи. Він включає такі базові поняття, як абстрактний синтаксис, інтерпретація, стекові машини, компіляція, перевірка типу, збирання сміття та реальний машинний код. Також включено більш складні теми про поліморфні типи, висновок про типи з використанням уніфікації, ко- та контраваріантні типи, продовження та генерацію зворотного коду з оптимізацією «на льоту». Це друге видання включає два нових розділи. Один описує компіляцію та перевірку типів повної функціональної мови, пов’язуючи попередні розділи. Інший описує, як скомпілювати підмножину C до реального обладнання (x86) як плавне розширення представлених раніше компіляторів. Приклади представляють кілька інтерпретаторів і компіляторів для іграшкових мов, включаючи компілятори для невеликої, але корисної підмножини C, абстрактних машин. , збирач сміття та висновок поліморфного типу в стилі ML. У кожному розділі є вправи.

Концепції мови програмування охоплюють практичну конструкцію лексерів і аналізаторів, але не регулярні вирази, автомати та граматики, які вже добре розглянуті. Тут обговорюється дизайн і технологія Java і C# для покращення розуміння студентами цих широко використовуваних мов.