Intensional Equality for Continuations

На реддите запостили ссылку на статью Аппеля 20-летней давности с чудесным подходом к интенсиональному равенству продолжений, с реализацией на Си (!) в применении к одному контесту. Там 3 страницы всего, рекомендую. :)