| palm_mute ( @ 2008-04-08 14:29:00 |
| Current music: | Meshuggah - Dancers To A Discordant System |
| Entry tags: | continuations, delimcc |
Reading on continuations
1. Talk: Delimited Continuations in Computer Science and Linguistics
Презентация О. Киселева и К. Шана, которая популярно объясняет значение терминов continuations, delimited continuations, и показывает, каким образом они относятся к операционным системам и лингвистике. Китайские иероглифы вместо привычных греческих букв смотрятся очень свежо.
2. An Analytical Approach to Programs as Data Objects
Диссертация Olivier Danvy. Фундаментальная работа по теории языков программирования, рассматриваются вопросы семантики программ, трансформации программ, частичных вычислений, все изложение построено вокруг понятия "continuation". *
*Я ее еще не осилил, но выглядит как MUST READ. Как минимум, эпиграфы к каждой главе замечательные.