Kievfprog Fall 2017 is here!

11.00–13.00 Vitaly Bragilevsky @_bravit — Теория зависимых типов и её реализация в языке Idris.

Лекция будет посвящена реализации теории зависимых типов в языке программирования Idris. В её рамках будут приведены примеры использования зависимых типов в Idris, представлена внутренняя теория TT с зависимыми типами и порядок преобразования в неё внешнего языка.

13:15–14:00 Maxim Sokhatsky @5HT — Презентация гомотопического прувера Cubical Type Theory от Mortberg et al

14:15–14:45 Sergey Vinokurov @5ergv — Recursion Schemes in Haskell

15:00–15:45 Andrew Lelechenko @bodigrim — Number Theory in Haskell