Вы здесь

Ключников И. Г.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Суперкомпиляция для теории типов Мартина-Лефа 2015 Ключников И. Г., Романенко С. А. Программирование 22.07.2015
СТ Суперкомпиляция высшего уровня как путь к метасистемному переходу 2012 Ключников И. Г., Романенко С. А. Программирование 04.12.2012
А Выявление и доказательство свойств функциональных программ методами суперкомпиляции 2010 Ключников И. Г. 21.06.2010