В лекции будет завершена тема анализа окружений. Мы познакомимся с циклическими окружениями и псевдонимами. От окружений меток перейдем к продолжениям и покажем их реализацию на основе CPS.

Литература

[1] Описание типа box в Racket

[2] Christopher Strachey Fundamental Concepts in Programming Languages