————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
КОНСТРУИРОВАНИЕ И ОПТИМИЗАЦИЯ ПРОГРАММ
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 496
11 апреля 2000
Комната для семинаров ИСИ СО РАН
Время: 14.30
————————————————————
П.Б. Кряженков
Реализация функциональных языков:
обзор трудов 10th Int. Workshop IFL-98
(Лондон, сентябрь, 1998)
————————————————————