#kievfprog Fall 2017

Kievfprog Fall 2017 is here! Vitaly Bragilevsky @_bravit — Теория зависимых типов и её реализация в языке Idris. Лекция будет посвящена реализации теории зависимых типов в языке программирования Idris. В её рамках будут приведены примеры использования зависимых типов в Idris, представлена внутренняя теория TT с зависимыми типами и порядок преобразования в неё внешнего языка. Maxim Sokhatsky @5HT — Презентация гомотопического прувера Cubical Type Theory от Mortberg et al Sergey Vinokurov @5ergv — Recursion Schemes in Haskell Andrew Lelechenko @bodigrim — Number Theory in Haskell