Groups

Refal

1–30 of 229

0 selected

Александр Коновалов a.v.konovalov87_AT_mail.ru

Aug 5

Компактное списковое представление Рефала

Добрый вечер всем! Я опять нахожу что-то интересное в других языках программирования и натягиваю это

unread,

Компактное списковое представление Рефала

Добрый вечер всем! Я опять нахожу что-то интересное в других языках программирования и натягиваю это

Aug 5

Александр Коновалов a.v.konovalov87_AT_mail.ru18

May 16

Алгоритм сортировки на Рефале-5

Здравствуйте, Василий! На самом деле рассылка была - от Андрея, но, похоже, не был указан адрес

unread,

Алгоритм сортировки на Рефале-5

Здравствуйте, Василий! На самом деле рассылка была - от Андрея, но, похоже, не был указан адрес

May 16

Александр Коновалов a.v.konovalov87_AT_mail.ru, Peter Sovietov13

11/26/24

Сфера применения Рефала

Привет Рефал-сообществу! Я написал миниатюрную реализацию Рефала (https://github.com/true-grue/

unread,

Сфера применения Рефала

Привет Рефал-сообществу! Я написал миниатюрную реализацию Рефала (https://github.com/true-grue/

11/26/24

Александр Коновалов a.v.konovalov87_AT_mail.ru45

11/15/24

Синтаксис словарей в Рефале!

On Fri, Nov 15, 2024 at 11:47 PM Александр Коновалов avkonovalov87_AT_mail.ru <re...@botik.ru>

unread,

Синтаксис словарей в Рефале!

On Fri, Nov 15, 2024 at 11:47 PM Александр Коновалов avkonovalov87_AT_mail.ru <re...@botik.ru>

11/15/24

Andrei Nemytykh nemytykh_AT_gmail.com

9/18/23

Refal-5 Version ПѮ

Hello, Everybody! Here http://www.botik.ru/pub/local/scp/refal5/ you are welcome to find and download

unread,

Refal-5 Version ПѮ

Hello, Everybody! Here http://www.botik.ru/pub/local/scp/refal5/ you are welcome to find and download

9/18/23

A N a_nevod_AT_mail.ru11

6/21/23

Совместное совещание по Рефалу 17 июня

https://github.com/ilya-klyuchnikov/refal

unread,

Совместное совещание по Рефалу 17 июня

https://github.com/ilya-klyuchnikov/refal

6/21/23

Sergei Skorobogatov s.yu.skorobogatov_AT_gmail.com36

4/10/23

Refal и ChatGPT 4.0

> про фреймворк PEF и про Specializer она просто придумала или они действительно существуют Для

unread,

Refal и ChatGPT 4.0

> про фреймворк PEF и про Specializer она просто придумала или они действительно существуют Для

4/10/23

Andrei Klimov andrei_AT_klimov.net

4/7/23

День памяти В.Ф. Турчина (14.2.1931–7.4.2010) — 7.4.2023

Дорогие друзья и коллеги! Сегодня день памяти Валентина Федоровича. Проходят годы без него и без

unread,

День памяти В.Ф. Турчина (14.2.1931–7.4.2010) — 7.4.2023

Дорогие друзья и коллеги! Сегодня день памяти Валентина Федоровича. Проходят годы без него и без

4/7/23

Andrei Klimov klimov_AT_keldysh.ru

4/5/23

Obituary: Neil D. Jones (1941-2023)

Ушел всеми нами уважаемый и любимый Нил Джоунс. Большой ученый с глубокими результатами и

unread,

Obituary: Neil D. Jones (1941-2023)

Ушел всеми нами уважаемый и любимый Нил Джоунс. Большой ученый с глубокими результатами и

4/5/23

nikolai.kondratiev_AT_gmx.de5

3/16/23

Нашел лекцию: конкуренты

Сталкивался, что GraalVM отказывались применять из-за лицензии. Ну и ограничение - JVM. On Wed, Mar

unread,

Нашел лекцию: конкуренты

Сталкивался, что GraalVM отказывались применять из-за лицензии. Ну и ограничение - JVM. On Wed, Mar

3/16/23

Стеллецкий Василий sw710_AT_yandex.ru19

2/21/23

рефал всё же скорее умер :(

On Thu, Feb 16, 2023 at 11:57 PM Eisymont Leonid verger-lk_AT_yandex.ru <re...@botik.ru> wrote:

unread,

рефал всё же скорее умер :(

On Thu, Feb 16, 2023 at 11:57 PM Eisymont Leonid verger-lk_AT_yandex.ru <re...@botik.ru> wrote:

2/21/23

nikolai.kondratiev_AT_gmx.de3

2/14/23

День рождения Валентина Федоровича Турчина

Здравствуйте все! Мы помним Валентина Федоровича и сегодня 14 февраля поминаем его в день его

unread,

День рождения Валентина Федоровича Турчина

Здравствуйте все! Мы помним Валентина Федоровича и сегодня 14 февраля поминаем его в день его

2/14/23

abram_AT_botik.ru

12/31/22

С Новым, 2023, годом! // Happy New Year!

Happy New Year! Sergei Abramov Дорогие друзья, коллеги, партнеры! Поздравляю Вас с Новым, 2023, годом

unread,

С Новым, 2023, годом! // Happy New Year!

Happy New Year! Sergei Abramov Дорогие друзья, коллеги, партнеры! Поздравляю Вас с Новым, 2023, годом

12/31/22

nikolai.kondratiev_AT_gmx.de3

6/29/22

Ре: Refal6-basic

Раздел «Реализация модульности» подкорректирован Von: nikolai.k...@gmx.de <> Gesendet:

unread,

Ре: Refal6-basic

Раздел «Реализация модульности» подкорректирован Von: nikolai.k...@gmx.de <> Gesendet:

6/29/22

Александр Коновалов a.v.konovalov87_AT_mail.ru

6/15/22

RE: V совместное совещание ИПС РАН — МГТУ по Рефалу

Добрый день всем! В четверг, 16 июня в МГТУ имени Н. Э. Баумана пройдёт традиционное V совместное

unread,

RE: V совместное совещание ИПС РАН — МГТУ по Рефалу

Добрый день всем! В четверг, 16 июня в МГТУ имени Н. Э. Баумана пройдёт традиционное V совместное

6/15/22

Александр Коновалов a.v.konovalov87_AT_mail.ru

6/14/22

RE: IV совместное совещание ИПС РАН — МГТУ по Рефалу

Добрый день всем! В четверг, 16 июня в МГТУ имени Н. Э. Баумана пройдёт традиционное V совместное

unread,

RE: IV совместное совещание ИПС РАН — МГТУ по Рефалу

Добрый день всем! В четверг, 16 июня в МГТУ имени Н. Э. Баумана пройдёт традиционное V совместное

6/14/22

Andrei Klimov andrei.klimov_AT_gmail.com3

4/7/22

День памяти В.Ф. Турчина (14.2.1931–7.4.2010) и семинар 7.4.2022

Повторяю письмо Антона со ссылкой на запись семинара, чтобы оно попало адресатам в скрытом списке

unread,

День памяти В.Ф. Турчина (14.2.1931–7.4.2010) и семинар 7.4.2022

Повторяю письмо Антона со ссылкой на запись семинара, чтобы оно попало адресатам в скрытом списке

4/7/22

Andrei Klimov andrei.klimov_AT_gmail.com10

4/4/22

Тест рассылки refal@botik.ru

Я получил. Воскресенье, 3 апреля 2022, 20:54 +03:00 от Andrei Klimov andrei.klimov_AT_gmail.com <

unread,

Тест рассылки refal@botik.ru

Я получил. Воскресенье, 3 апреля 2022, 20:54 +03:00 от Andrei Klimov andrei.klimov_AT_gmail.com <

4/4/22

Andrei Klimov andrei_AT_klimov.net

1/17/22

POPL & PEPM 2022

Привет всем! Вчера (16 января) началась конференция 49th ACM SIGPLAN Symposium on Principles of

unread,

POPL & PEPM 2022

Привет всем! Вчера (16 января) началась конференция 49th ACM SIGPLAN Symposium on Principles of

1/17/22

abram_AT_botik.ru

12/31/21

С Новым, 2022, годом! // Happy New Year!

Happy New Year! Sergei Abramov Дорогие друзья, коллеги, партнеры! Поздравляю Вас с Новым, 2022, годом

unread,

С Новым, 2022, годом! // Happy New Year!

Happy New Year! Sergei Abramov Дорогие друзья, коллеги, партнеры! Поздравляю Вас с Новым, 2022, годом

12/31/21

Andrei P. Nemytykh nemytykh_AT_math.botik.ru

11/2/21

First Call for Papers: VPT 2022 - International Workshop on Verification and Program Transformation

[Apologies for multiple copies] *************************************************************** FIRST

unread,

First Call for Papers: VPT 2022 - International Workshop on Verification and Program Transformation

[Apologies for multiple copies] *************************************************************** FIRST

11/2/21

Mike Potanin mpotanin_AT_gmail.com12

10/19/21

Актуальные реализации и текущее состояние.

Добрый вечер всем! Коллега Михаила Потанина уже начал готовить сборку пакета для пакетного менеджера

unread,

Актуальные реализации и текущее состояние.

Добрый вечер всем! Коллега Михаила Потанина уже начал готовить сборку пакета для пакетного менеджера

10/19/21

Andrei Klimov andrei_AT_klimov.net26

10/5/21

Приглашение на онлайн семинар ruSTEP в пятница 11 июня в 12:00 мск (=16:00 нск).

Думаю, что область языков программирования требует преемственности. Если количество использующих язык

unread,

Приглашение на онлайн семинар ruSTEP в пятница 11 июня в 12:00 мск (=16:00 нск).

Думаю, что область языков программирования требует преемственности. Если количество использующих язык

10/5/21

Александр Коновалов a.v.konovalov87_AT_mail.ru

7/7/21

FW: Приглашение на онлайн семинар ruSTEP в пятницу 9 июля в 12:00 мск (=16:00 нск).

(Перенаправляю письмо в рассылки) From: Shilov Nikolay <shil...@mail.ru> Sent: Thursday, July

unread,

FW: Приглашение на онлайн семинар ruSTEP в пятницу 9 июля в 12:00 мск (=16:00 нск).

(Перенаправляю письмо в рассылки) From: Shilov Nikolay <shil...@mail.ru> Sent: Thursday, July

7/7/21

Александр Коновалов a.v.konovalov87_AT_mail.ru2

6/27/21

IV совместное совещание ИПС РАН — МГТУ по Рефалу

Добрый день всем! Вывешены слайды с IV совместного совещания: http://refal.botik.ru/events/events.htm

unread,

IV совместное совещание ИПС РАН — МГТУ по Рефалу

Добрый день всем! Вывешены слайды с IV совместного совещания: http://refal.botik.ru/events/events.htm

6/27/21

Александр Коновалов a.v.konovalov87_AT_mail.ru

6/4/21

8 июня рефал-семинар ИПС РАН и МГТУ

Добрый вечер всем! 8 июня у нас в Бауманке пройдёт традиционное IV совместное рабочее совещание ИПС

unread,

8 июня рефал-семинар ИПС РАН и МГТУ

Добрый вечер всем! 8 июня у нас в Бауманке пройдёт традиционное IV совместное рабочее совещание ИПС

6/4/21

Скоробогатов Сергей Юрьевич skorobogatov_AT_bmstu.ru2

5/26/21

Генератор билетов по компиляторам

Спасибо! -----Original Message----- From: Скоробогатов Сергей Юрьевич skorobogatov_AT_bmstu.ru <

unread,

Генератор билетов по компиляторам

Спасибо! -----Original Message----- From: Скоробогатов Сергей Юрьевич skorobogatov_AT_bmstu.ru <

5/26/21

Arkady Klimov arkady.klimov_AT_gmail.com3

5/26/21

Харитоновские Научные Чтения - 2021

Доброе утро, Андрей и Аркадий! Спасибо за интересные доклады! С уважением, Александр Коновалов From:

unread,

Харитоновские Научные Чтения - 2021

Доброе утро, Андрей и Аркадий! Спасибо за интересные доклады! С уважением, Александр Коновалов From:

5/26/21

Andrei Klimov andrei_AT_klimov.net

5/24/21

SYRCoSE'21: приглашение на 27-28 мая 2021 г.

Приглашенные доклады на конференции SYRCoSE'21 обещают быть интересными! Да и в основной

unread,

SYRCoSE'21: приглашение на 27-28 мая 2021 г.

Приглашенные доклады на конференции SYRCoSE'21 обещают быть интересными! Да и в основной

5/24/21

Andrei Klimov andrei_AT_klimov.net9

5/22/21

Рефал-семинар 17 мая 2021 в 10:30 в Zoom'e

Добрый день всем! (Те, кто был на семинаре, могут прочитать только вторую половину письма. Оно про то

unread,

Рефал-семинар 17 мая 2021 в 10:30 в Zoom'e

Добрый день всем! (Те, кто был на семинаре, могут прочитать только вторую половину письма. Оно про то

5/22/21

Search

Clear search

Close search

Google apps

Main menu