Subject: A paper (ura-MPC2000)
From: Sergei M. Abramov (abram@botik.ru)
Date: Thu Apr 06 2000 - 18:25:39 MSD
День добрый, всем!
Материалы по URA-MPC2000-статье С.Абрамова и Р.Глюка:
"The Universal Resolving Algorithm: Inverse Computation in a Functional
Language" (принята на конференцию MPC-2000 "5th International Conference on
MATHEMATICS OF PROGRAM CONSTRUCTION")--предфинальная версия (дидлайн 15/04/2000)
доступны в каталогах:
ftp://ftp.botik.ru/AbrGlu
http://www.botik.ru/AbrGlu
в виде файлов:
------- ------------------ ---------------
размер файл примечание
------- ------------------ ---------------
45,438 ura-MPC200.dvi.zip -- текст статьи
116,975 ura-MPC200.ps.zip -- текст статьи
10,847 ura-MPC2000.hs.zip -- текст программы
------- ------------------ ---------------
Любые замечания и комментарии будут приняты с огромной благодарностью (и с еще
болшей благодарностью, если они придут до 13/04/2000 ;-)))
Удачи
Сергей
This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:24:58 MSD