Встреча FProg 2012-07 в Петербурге

В четверг, 12 июля 2012 года в 19:00 в петербургском офисе компании Яндекс ^[1] при поддержке компании JetBrains ^[2] и журнала «Практика функционального программирования» ^[3] пройдёт очередная встреча FProg. Встреча состоится накануне программистского конкурса ICFP Contest 2012 ^[4].

Обязательная запись на встречу для доступа в офис осуществляется на странице встречи ^[5] через Twitter-аккаунт.

Темы докладов:

• Евгений Котельников. Зависимые типы в Haskell
• Ян Малаховски. Введение в Agda
• Андрей Власовских. Команда spb-archlinux на ICFP Contest 2009

О встречах. Встречи по функциональному программированию FProg в Петербурге являются логическим продолжением встреч SPbHUG, петербургской группы пользователей Haskell. На встречах представляются доклады и проходят обсуждения по различным темам теории и практики функционального программирования.

Автор: vlan