Startups Mentorship Program
Startups Mentorship Program
Sat, Feb 11, 10:00 AM
Kiev • Kiev
€32.64 - €80.12
Institute of Mathematics Tereschenkivska 3 01004 Kyiv Ukraine
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
Events you might like