Вы здесь

Главная

Суперкомпиляция для теории типов Мартина-Лефа

Автор: 
Ключников И. Г.
Романенко С. А.
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2015
Ключевые слова: 
суперкомпилятор
tt lite
теория типов
рефал
Стр.: 
С.73-87
Библиография: 
Библиогр.: c.80-81
Источник: 
Программирование
Номер: 
3
Карточка: 

Б3.2.

Ключников И. Г., Романенко С. А..

Суперкомпиляция для теории типов Мартина-Лефа// Программирование-2015, №3.-С.73-87
Библиогр.: c.80-81

Таблица в старой библиотеке: 
PAP31 922