refal@botik.ru -- Discussing the Refal programming language, Refal dialects and supercompilation
By Subject
728 messages sorted by:
[ author ]
[ date ]
[ thread ]
Starting: Fri Aug 06 1999 - 12:16:24 MSD
Ending: Mon Jan 23 2006 - 12:51:03 MSK
- "Implementation of Refal-2"
- "День зелени
- "Рекурсивные схемы" и слияние многопроходных алгоритмов в однопроходные
- (no subject)
- 1 year from Alexandr Korlyukov death
- 70
- =?koi8-r?Q?=F3=D2=C1=D7=CE=C5=CE=C9=C5=20=D0=CF=20=D0=D2=CF=C9=DA=D7=CF=C4=C9=D4=C5=CC=D8=CE=CF=D3=D4=C9=20=F2=C5=C6=C1=CC=C1=20=D3=20=C4=D2=D5=C7=C9=CD=C9=20=D1=DA=D9=CB=C1=CD=C9?=
- [Computer_algebra] Meeting on April 28
- [Fwd: Refal+ abstract syntax]
- A paper (ura-MPC2000)
- A ref to "CRA-theorem"
- A ref to "CRA-theorem" ]
- A Wikipedia page for Val Turchin!
- Abramov - Obobshhenny`j algoritm otozhdestvleniya dlya yazy`ka Refal + prilozhenija (1979)(ru).djvu
- Abramov - Obobshhenny`j algoritm otozhdestvleniya dlya.yazy`ka Refal (1979)(ru).djvu
- Abramov,.Romanenko.-.How.to.Use.Vectors.....in.the.Implementations.of.the.Language.Refal.(1988).djvu
- Abramov.-.Metacomputation.and.Program.Testing.(1993).djvu
- Announce: Refal+ v1.8.1 and future plans
- another subtraction result
- Approved
- ASSISTANCE
- Be My Investor & Trustee
- Best wishes
- BUSINESS PROPOSAL
- Case-sensitive Refal+; NetProlog
- cats
- CFP: PEPM'02
- Changes on refal site is done
- Clean your colon! j hygacrxrmz
- Cluster performance benchmark NPB
- Computer algebra in Flac
- Computer Algebra Seminar on January 26
- Computerra N 25 (402) 2 July 2001: Theme "Turchin"
- Conditions in Refal-5.
- Datalog
- Difficulties with the Refal System
- driving
- Email marketing
- Evolution of programming languages (Was Об отсечениях внутри блока.
- Evolution of programming languages (Was: Об отсечениях внутри блока.)
- Evolution of programming languages Was: Об отсечениях внутри блока.
- Examples for scpj
- Fake list в eMule Plus
- FLAC , docs
- Flac/PZ. MS-DOS. Intel-386, protected mode.
- Fowler.-.Patterns.of.Enterprise.Application.Architecture.-.Two.Step.View.(2003).djvu
- ftp://ftp.botik.ru/pub/local/Sergei.Abramov/IJFCS-19991109/
- Functional.Programming.in.C++ djvu
- FUND MANAGEMENT
- Fwd:
- Fwd: (fwd) Lisp Survey
- Fwd: Gentle introduction to inverse computation / uploaded
- Fwd: postdoc position available in Prof. Futamura's project
- Fwd: Поучаствуем
- GRACE BE ON US
- Gurin,.Romanenko.-.The.Refal.Plus.programming.language.(INTERTEKH,1991).djvu
- Gurin,.Romanenko.-.Yazy`k.programmirovaniya.Refal.Plyus.(INTERTEX,.1991)(300dpi)(ru).djvu
- Gurin,.Romanenko.-.Yazy`k.programmirovaniya.Refal.Plyus.(INTERTEX,1991)(ru).djvu
- Happy birthday to Valentin Turchin!
- Happy New Year and Millennium
- Happy New Year from Ukraine!
- Happy New Year!
- happy...
- Have you received "Prototype Functionality Description" ?
- Hughes.-.Type.Specialisation.for.the.Lambda-Calculus.(1996).djvu
- intelib
- Internet-cards
- is that spam or true? cfmmtuo
- JScp - Who has a fish?
- Kindly Assist Me
- KINDLY CONFIRM INTEREST.
- Klimov,.Romanenko.-.Metavy`chislitel`.dlya.yazy`ka.Refal.(1987)
- Klimov,.Romanenko.-.Refal-2..Opisanie.biblioteki.funkcij.(1986)(ru).djvu
- Lawall,.Danvy.-.Continuation-Based.Partial.Evaluation.lfp94-extended.(1995).djvu
- LogicTasks
- New Year news of www.refal.net
- News
- News of www.refal.net
- News! Refal 5
- Nice Meeting you
- NOTIFICATION
- NudeAmateurs.com Free Tour
- numbers
- Output to STDOUT with Refal-5
- P2P и web
- partial-eval.org
- Pastdue Account
- pearls (new Scp4 examples)
- pearls (new Scp4 examples) - 2
- Private
- Private.
- programming languages as a core topic
- RAFAL & JAVA
- ree semi-groups. Makanin's algorithm.
- Refal & XML - possible tasks
- Refal -> Java
- Refal -> Java? РефалАС-->АСАИЯ
- Refal -> Java? РефалАС-->АСАИЯ !
- Refal for BESM-6
- Refal interpreter
- Refal interpreter (реплика по koi-rvs unicode
- Refal weak typing
- Refal и Vim?
- Refal+ abstract syntax
- refal,CRYING FOR HELP
- Refal-2 for Windows and UNIX
- Refal-2..Opisanie.vxodnogo.yazy`ka.(1987) & Realizaciya.Refala-2.(1987)
- Refal-5 (in Russian)
- Refal-5 news.
- Refal-5's news.
- Refal-5.
- Refal-6 on the WEB
- Refal-J: first release
- Refal-PHP is ready
- Refal-plus on-line documentation
- Refal-XML
- REFAL.NET is valid
- refal.net/~korlukov/scpj/
- Refal5 news
- refal6
- Refal6 для Linux скомпилирован
- Refal@botik.ru: new mailing list created
- References
- Romanenko - Povyshatel` arnosti i ego ispol`zovanie pri specializacii programm (1990)(ru).djvu
- Romanenko,.Gurin.-.Realizaciya.Refala.Plyus.-....(1990)(ru).djvu
- Romanenko.-.Arity.Raiser.and.its.Use.in.Program.Specialization.(1990).djvu
- Romanenko.-.Generator.kompilyatorov,.porozhdenny`j.samoprimeneniem.specializatora....(1987).djvu
- Romanenko.-.Mashinno-nezavisimy`j.kompilyator.s.yazy`ka.rekursivny`x.funkcij.(avtoreferat)(bitonal)(1979)(ru).djvu
- Romanenko.-.Mashinno-nezavisimy`j.kompilyator.s.yazy`ka.rekursivny`x.funkcij.(PhD.Thesis)(1978)(ru).djvu
- Romanenko.-.Primenenie.smeshanny`x.vy`chislenij.k.assembleram.i.zagruzchikam.(1983)(ru).djvu
- Romanenko.-.Programmirovanie.na.yazy`ke.RL2.(1989)(ru).djvu
- Romanenko.-.Refal-2..Interfejs.Refala.i.PL-1.(1987)(ru).djvu
- Romanenko.-.Refal-2..Kompilyaciya.i.ispolnenie.Refal-programm.(1987)(ru).djvu
- Rx - V.I.C.O.D.I.N---Val.ium, Xan.ax, Via.gra...augustin
- Sasha Korlyukov
- Sasha Romanenko 13.06.1993
- SciTE as graphic user interface for Refal
- SCP's
- Scp4's news.
- See Korluykov's site
- Seeking Your Assistance
- Self-Applicable Partial Evaluation for Pure Lambda Calculus
- seminar
- Seminar "Metacomputation and supercompilation" 29 February in Polytechnic Museum
- Seminar Dynamic supercompilation of Java, 21 March 2000
- Seminar on Refal and supercompilation, 14 March 2000
- Seminar on Rеfal and supercompilation, 11 February 2000
- Seminar on Rеfal and supercompilation, 14 March 2000
- Seminar on Rеfal and supercompilation, 17 February 2000
- Seminar on Rеfal and supercompilation, 25 January 2000
- Smert' Sashi Korlyukova
- Some links
- Still another reference.
- SURA: от нас с Робертом всем -- троекратное, симметричное URA!
- SURA: от нас с Робертом всем -- трократное, симметричное URA
- Symantec AVF detected an unrepairable virus in a message you sent
- Test
- test2
- Testing
- Tezisy`.dokladov.simpoziuma.po.obrabotke.simvol`noj.informacii.(Tbilisi,.1970)(ru).djvu
- Thank you!
- The History of Refal Compiler
- The plan of experiment
- Thiemann.-.Continuation-based.Partial.Evaluation.without.Continuations.(2003).djvu
- Thiemann.-.First-Class.Polyvariant.Functions.and.Co-Arity.Raising.(2000).djvu
- Turchin - E`kvivalentny`e preobrazovanija rekursivny`kh funkcij, opisanny`kh na yazyke Refal (1972)(facsimile)(ru).djvu
- Turchin - Ehkvivalentnye preobrazovanija programm na Refale (CNIPIASS,1974)(ru).djvu
- Turchin - Inercija strakha - Socializm i totalitarizm (1977)(ru).djvu
- Turchin's "Inertia of Fear" in Russian
- Turchin's papers in "Index" on the Web
- Turchin.-.The.Algorithm.of.Generalization.in.the.Supercompiler.(1988).djvu
- Turchin.-.The.Cybernetic.Foundation.of.Mathematics.(1983).djvu
- Turing Machine
- Turner.-.A.new.implementation.technique.for.applicative.languages.(1979)(bitonal).djvu
- unarnoe vychitanie
- URGENT
- very nice from you
- Virus !!!
- VIRUS WARNING for <E18tWvz-0008Fa-00@ns.spnet.net>
- VIRUS WARNING for <E19aXkC-0005yP-00@mx.nicevt.ru>
- VIRUS WARNING for <E19oik8-0005Oi-00@pier.botik.ru>
- Who has a fish?
- Wicked screensaver
- WINNING NOTIFICATION
- XML, "holes" and programming styles in R5 and R+
- XML-Validate
- Yoshihiko Futamura, "Partial Evaluation of Computation Process-An Approach to a Compiler-Compiler"
- ╢чзЦэущБ Microsoft Word (3)
- ╢З©╙M
- ╢З©╙ф╠
- ╣б╧ЗEngelhardt╧╚к╬D22Ё╣╢╡йЩ©ьо╣мЁ╧╕дэх╚©и©©пт╦ъ╠ЮЁл╪Р╣
- бЮЛ БЯ╦ ЕЫ╦ УНКНДМН
- дЗ╨ц!гК©╢╤тдЗспрФ╣дпео╒...
- еЯКХ С бЮЯ УНКНДМН - ВХРЮИРЕ
- х╚о╣апЁ╛рТ╡╗о╢╬╩╩З║╒кэ╫╨хш╫с╩З║╒юДк╝╩
- х╩к╧©╣╡╗╢О╡Зф
- хГБМХРЕ, ГЮ К╦ЦЙХИ НТТРНОХЙ
- хГБМХРЕ, ГЮ К╦ЦЙХИ НТТРНОХЙ.
- кЧААШЕ ОЕПЕЕГАГДШ. сЯКСЦХ ЦППСГВХЙНБ
- лНФМН КХ БШКНФХРЭ Б ХМРЕПМЕР БЯЕ ЛЮРЕХЮКШ, ЯЯШКЙХ МЮ ЙНРНПШЕ ОН ЯЕРХ eDonkey ОНУНДЪР Б ТНПСЛЕ
- лНФМН КХ БШКНФХРЭ Б ХМРЕПМЕР БЯЕ ЛЮРЕПХЮКШ, ЯЯШКЙХ МЮ ЙНРНПШЕ ОН ЯЕРХ eDonkey ОПНУНДЪР Б ТНПСЛЕ?
- обновления на refal.net
- официальный РЕФАЛ сайт
- откат и перебо
- п╖я┌п╬ п╬п╥п╫п╟я┤п╟п╣я┌ п│я│п╦я┘п╦п╨п╬ п╓я┐яп╟п╪я┐я─п
- параллельный РЕФА
- параллельный РЕФАЛ
- поп-рок музык
- предложение по составу дистрибутивов РЕФАЛ
- яШгК╡ну 14:44:18:149
- работа В.Ф.Турчина
- рефал или Рефа
- рефал или Рефал
- сцЁ╛иЫ╡╗бП 18:36:29:414
- сцЁ╛иЫ╡╗бП 19:35:44:595
- тЮЛХКЭМНЕ дПЕБН - 8-916-220 376
- жп╡╘иГ╥╜рКспоч╧╚к╬ё╗╦ъжй║╒ф╫╪шн╙дЗ╥ЧнЯё
- вопросы и заметки новичк
- вопросы и заметки новичка
- Адрес официального РЕФАЛ-сайта
- Детерминированность в РЕФАЛ
- Детерминированность в РЕФАЛе
- Детерминированность РЕФА
- Детерминированность РЕФАЛ
- Ефимов Г. Б. и др., "Из истории развити и применения компьютерной алгебры в ИПМ имни М.В. Келдыша.
- Есть ли будущее у России
- Фотографии школы РЕФАЛ-99
- Готовность кода Рефал-
- Готовность кода Рефал-5
- Исправленный исправленный список ссылок на документы по Рефалу
- Исправленный список ссылок на документы по Рефалу
- Историко-архивные материалы по Рефалу и астичным вычисления
- Историко-архивные материалы по Рефалу и частичным вычислениям
- Как следует компилиоват ь ре фаль скую операциюотождествлени
- Как следует компилироват ь ре фаль скую операциюотождествления
- Как следует компилировать ре фаль скую операциюотождествления
- Как следует компилировать рефалскую операцию отождествлени
- Как следует компилировать рефаль скую операциюотождествления
- Как следует компилировать рефальску операцию отождествлени
- Как следует компилировать рефальскую операцию отождествления
- Как следует компилировать рфаль скую операциюотождествлени
- Как следует компилироваь ре фаль скую операциюотождествлени
- Компиляция Refal6 для Linu
- Компиляция Refal6 для Linux (commens on data striucrture
- Ленивость, бесконечные структура и супекомпиляция
- Ленивость, бесконечные структура и суперкопиляция
- Ленивый Рефал
- Лямбда-исчисление в рефале
- Лямбда-исчисление в рефале.
- Маленькая компьютерная алгебр
- Материалы по частичным вычислениям и функциональному программированию
- Материалы по Рефалу в "электронной" форм
- Материалы по Рефалу в "электронной" форме
- Материалы, связанные с матанализом и машинной аналитикой
- Можно ли выложить в интернет все маериалы, ссылки на которые по сети eDonky проходят в форуме
- Можно ли выложить в интернет все материалы, ссылки на которые по сети eDonkey проходят в форуме?
- Недоставленная почта: Thank you!
- Новости официального РЕФАЛ-сайт
- Новости официального РЕФАЛ-сайта
- Новые оцифрованные версии статей Турчин
- Новые оцифрованные версии статей Турчина
- Новые версии оцифрованных препринтов по Рефалу-4
- Новые версии оцифрованных препринтов поРефалу-
- О методах завязывания шнурков
- О типизации рефальских выражени
- О типизации рефальских выражений
- О©╫О©╫О©╫О©╫О©╫О© О©╫О©╫О©╫-
- Обозначения для спецсимволо
- Обозначения для спецсимволов
- Объявлени
- Операции shift и reduce
- Оргвопро
- Оргвопрос
- Ортогонализация языков
- Относительн рефала-
- Относительно рефала-
- Относительно рефала-5
- Ошибка в Рефал-
- Ошибка в Рефал-5
- Ошибка Рефал-
- Печать djvu-документов с помощью браузерного плагина
- Ядро Рефал
- ЯСОЕПЙНЛОХКЪРН
- Реализация рефала на haskell - структуры днных
- Рецензия на "Феномен науки" в "Компютерре
- Рецензия на "Феномен науки" в "Компьютерре
- Рефа & publicity
- Рефал & publicit
- Рефал & publicity
- Рефал и база знани
- Рефал и база знаний
- Рефал+ 1.8.1
- РЕФАЛ и внешняя база данны
- С Новым 2004 годом!
- С Новым годом
- С Новым Годом!
- Сетике
- Сетикет
- Смирнов В.К., "Аппаратная реализация язка Рефал в ИПМ им.М.В.Келдыша
- Сравнение по производительности Рефала другим языкам
- Сравнение по производительности Рефала с другими языками
- Сравнение по производительности Рефала сдругими языкам
- Сравнение по производительности Рефалас другими языкам
- Сравнение по производительности Рефла с другими языкам
- Сравнение Рефала с другими языкам
- Сравнение Рефала с другими языками
- Ссылки на материалы по Рефалу и функциональному программированию
- Стандарты на транслитерацию ГОСТ 16876-71 и ГОСТ 7.79-2000
- Статус Рефала-
- Статус Рефала-5
- Стать
- Статья
- Строгая типизация
- Умер Топунов
- Установлен фильтр "только от подписчиков"
- Временно выбываю из списков
- Замена y` ->
- Замена y` -> y
- Этикет
Last message date: Mon Jan 23 2006 - 12:51:03 MSK
Archived on: Mon Jan 23 2006 - 12:51:43 MSK
728 messages sorted by:
[ author ]
[ date ]
[ thread ]
This archive was generated by hypermail 2b25
: Mon Jan 23 2006 - 12:51:43 MSK