НАО «ЮРИНФОР»

Семинар «Варианты и ограничения полиморфной типизации в языке Haskell и его расширениях»

состоялся 17 ноября (18.00) 2022 г.
17.11.2022

Семинар «Взаимное расширение целевого языка и вычислительной системы аппликативного типа»

состоялся 08 ноября (18.00) 2022 г.
08.11.2022

Семинар «Способы представления конструкций языков разработки моделирующих систем в виде функторов и применения к ним алгебраических методов»

состоялся 20 октября (18.00) 2022 г.
20.10.2022

Семинар «Поддержка интерпретаций модальных операторов в виде абстрактных объектов»

состоялся 22 сентября (18.00) 2022 г.
22.09.2022

Семинар «Логика и конечные множества в доказательном программировании» (часть 3).

состоялся 1 сентября (18.00) 2022 г.
01.09.2022

Семинар «Логика и конечные множества в доказательном программировании» (часть 2).

состоялся 8 августа (18.00) 2022 г.
08.08.2022

Семинар «Особенности и недостатки среды разработки на Idris (версия 0.5.1.)»

состоялся 21 июля (18.00) 2022 г.
21.07.2022

Семинар «Логика и конечные множества в доказательном программировании» (часть 1).

состоялся 14 июля (18.00) 2022 г.
14.07.2022