| |
Ключников, И. Г.
Суперкомпиляция для теории типов Мартина-Лёфа [Текст] / И. Г. Ключников, С. А. Романенко
// Программирование. – 2015. – № 3. – С. 73-87.
Описывается структура и реализация сертифицирующего суперкомпилятора TT Lite, преобразующего исходную программу в пару. |
