Вы здесь

Главная

рефал

Связанные издания:

A Self-Applicable Supercompiler
Inversion and Metacomputation
Metacomputation: Metasystem Transitions plus Supercompilation
Programs Transformation with Metasystem Transitions: Experiments with a Supercompiler
Параллельная символьная обработка на языке Рефал
Представление объектных выражений массивами при реализации языка Рефал
Программирование компонент систем аналитических выкладок на РЕФАЛе
Система программирования РЕФАЛ/2 для МВК "ЭЛЬБРУС"
Суперкомпиляция для теории типов Мартина-Лефа