Turchin - Ehkvivalentnye preobrazovanija programm na Refale (CNIPIASS,1974)(ru).djvu

Subject: Turchin - Ehkvivalentnye preobrazovanija programm na Refale (CNIPIASS,1974)(ru).djvu
From: Sergei Romanenko (roman@integrum.ru)
Date: Tue May 25 2004 - 21:49:28 MSD

• sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Next message: Sergei Romanenko: "Turchin - Inercija strakha - Socializm i totalitarizm (1977)(ru).djvu"
• Previous message: Sergei Romanenko: "Печать djvu-документов с помощью браузерного плагина"

Уважаемые коллеги!

Вот статья Турчина в которой впервые была подробно и тщательно описана
прогонка:

ed2k://|file|[Functional.Programming,.Partial.Evaluation].Turchin.-.Ehkvival
entnye.preobrazovanija.programm.na.Refale.(CNIPIASS,1974)(ru).djvu|536702|F8
23C17E6823561843F9C1BAA724336A|/

А более ранний доклад

В.Ф.Турчин. Эквивалентные преобразования рекурсивных функций, описанных на
языке РЕФАЛ. Киев-Алушта, 1972.

http://refal.net/origins/transfrm/vtet1972.htm

(из-за ограничений на объем) выглядит как краткий конспект полного
варианта. (Хотя он и важен с точки зрения "застолбления приоритета".)

Сергей Романенко

• Next message: Sergei Romanenko: "Turchin - Inercija strakha - Socializm i totalitarizm (1977)(ru).djvu"
• Previous message: Sergei Romanenko: "Печать djvu-документов с помощью браузерного плагина"

This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:25:00 MSD