http://www.intelib.org/wiki/ 2012-05-18T22:06:11+00:00 http://www.intelib.org/wiki/ http://www.intelib.org/wiki/lib/images/favicon.ico text/html 2012-04-26T18:15:50+00:00 Ivan Kostarev http://www.intelib.org/wiki/pp-seminar/students?rev=1335464150&do=diff Темы курсовых и дипломных работ, производственных практик Выпускники прошлых лет Konstantin Chugalinskiy (Константин, просто Константин) * 4 - Prototype of library implementation of the Erlang programming language's computational model - Прототип библиотечной реализации вычислительной модели языка Erlang. * 5 - Library support of parallel computing, based on computational model of Erlang programming language. - Библиотечная поддержка параллельного программирования на основе вычислител… text/html 2012-04-13T15:08:30+00:00 Meleshkin Valery http://www.intelib.org/wiki/pp-seminar/meetings-agendas?rev=1334329710&do=diff На этой странице стоит предлагать темы будущих докладов, высказывать свои пожелания и помечать утвержденные темы. Согласованное 2012 — весна Мелешкин Различные подходы к параллельному программированию доклад Киппичёва доклад SPJ Simple Made Easy by Rich Hickey, ещё нашёл доклад Роба Пайка Работы и выступления про STM за авторством SPJ 12.03.2012 Нечаев Новые языки программирования 22.03.2012 Французов Darcs: Особенности и введение в теорию патчей 15.03.2012 2011 — осеньКуликов git. … text/html 2012-04-10T17:03:22+00:00 Ilya Strukov http://www.intelib.org/wiki/projects/intelib-prolog?rev=1334077402&do=diff InteLib Prolog — это реализация вычислительной модели Пролога в рамках InteLib. Как использовать Исходный код доступен по адресу <https://github.com/iley/intelib>, его можно получить при помощи git: text/html 2012-03-16T22:09:51+00:00 Oleg Frantsuzov http://www.intelib.org/wiki/pp-seminar/darcs?rev=1331935791&do=diff As a follow-up to my report (15-mar-2012), here are some links which could be useful: * Darcs homepage — download, manual * Understanding Darcs — a detailed introduction of features and patch theory (in layman's terms) * A Formalization of Darcs Patch Theory Using Inverse Semigroups and Darcs Patch Theory — good luck with these! text/html 2012-02-15T12:50:26+00:00 Nickolay Kudasov http://www.intelib.org/wiki/projects/incremental-intelib?rev=1329310226&do=diff STATUS: * proof-of-concept TODO: * классы-обёртки для структур данных * интерфейс для Лиспа, Scheme и Пролога * тестирование * демонстрационное приложение text/html 2011-12-18T06:18:11+00:00 Nickolay Kudasov http://www.intelib.org/wiki/people/fizruk?rev=1324189091&do=diff Кудасов Николай Дмитриевич (год выпуска 2012) Контакты: * E-mail: crazy.fizruk@gmail.com * Github: fizruk text/html 2011-11-14T11:50:45+00:00 Vasiliy Kulikov http://www.intelib.org/wiki/pp-seminar/mailing-list?rev=1321271445&do=diff Темы обсуждения Список рассылки можно использовать для обсуждений, связанных со спецсеминаром, научной работой, орг вопросами и т.п. В частности: text/html 2011-11-14T11:35:12+00:00 Vasiliy Kulikov http://www.intelib.org/wiki/pp-seminar?rev=1321270512&do=diff Seminar for Programming Paradigms List of all students and all diplomas / science activities. Meetings and Agendas Seminar Mailing list