Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
С
суперкомпилятор TT Lite
Документи:
Ключников, И. Г.
Суперкомпиляция для теории типов Мартина-Лёфа [Текст] / И. Г. Ключников, С. А. Романенко // Программирование. – 2015. – № 3. – С. 73-87.
Інформаційно-пошукова система
'УФД/Бібліотека'