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

в 11:53, , рубрики: agda, fprog, haskell, icfpc, Блог компании JetBrains, встреча, Программирование, функциональное программирование, метки: , , , , ,

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

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

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

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


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

Автор: vlan

* - обязательные к заполнению поля


https://ajax.googleapis.com/ajax/libs/jquery/3.4.1/jquery.min.js