Для тех кто в танке^W^W не читает лямбда-планету
В четверг, 12 июля 2012 года в 19:00 в петербургском офисе компании Яндекс при поддержке компании JetBrains и журнала «Практика функционального программирования» пройдёт очередная встреча FProg.
бла-бла-бла
Обязательная запись на встречу для доступа в офис осуществляется на странице встречи через Twitter-аккаунт.
Темы докладов:
- Евгений Котельников. Зависимые типы в Haskell
- Ян Малаховски. Введение в Agda
- Андрей Власовских. Команда spb-archlinux на ICFP Contest 2009
