#kievfprog Fall 2017

Vladimir Kirillov @ #kievfprog

Kievfprog Fall 2017 is here!
11.00–13.00 Vitaly Bragilevsky <A HREF="https://twitter.com/_bravit" TARGET="_blank" TITLE="_bravit" DATA-MSYS-CLICKTRACK="0" REL="nofollow noopener noreferrer">@_bravit</A> — Теория зависимых типов и её реализация в языке Idris.
Лекция будет посвящена реализации теории зависимых типов в языке программирования Idris. В её рамках будут приведены примеры использования зависимых типов в Idris, представлена внутренняя теория TT с зависимыми типами и порядок преобразования в неё внешнего языка.
13:15–14:00 Maxim Sokhatsky <A HREF="https://twitter.com/5HT" TARGET="_blank" TITLE="5HT" DATA-MSYS-CLICKTRACK="0" REL="nofollow noopener noreferrer">@5HT</A> — Презентация гомотопического прувера <A HREF="https://github.com/mortberg/cubicaltt" TARGET="_blank" DATA-MSYS-CLICKTRACK="0" REL="nofollow noopener noreferrer">Cubical Type Theory от Mortberg et al</A>
14:15–14:45 Sergey Vinokurov <A HREF="https://twitter.com/5ergv" TARGET="_blank" TITLE="5ergv" DATA-MSYS-CLICKTRACK="0" REL="nofollow noopener noreferrer">@5ergv</A> — Recursion Schemes in Haskell
15:00–15:45 Andrew Lelechenko <A HREF="https://github.com/bodigrim" TARGET="_blank" TITLE="bodigrim" DATA-MSYS-CLICKTRACK="0" REL="nofollow noopener noreferrer">@bodigrim</A> — Number Theory in Haskell

Institute of Mathematics

Our {communityGuidelinesLink} describe the sort of content we prohibit on Eventbrite. If you suspect an event may be in violation, you can report it to us so we can investigate.

To report other categories of prohibited or illegal content, submit {link}