#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}

#kievfprog Fall 2017

More events from Vladimir Kirillov @ #kievfprog

Discover more events from Vladimir Kirillov @ #kievfprog, from Science & Tech to other experiences you might love.

Still looking for the right event?

Explore all events in Kyiv and filter by date, category, and more to find the perfect fit.

#kievfprog Fall 2017

More events from Vladimir Kirillov @ #kievfprog

Discover more events from Vladimir Kirillov @ #kievfprog, from Science & Tech to other experiences you might love.

More Science & Tech events

Browse more Science & Tech events with different dates, prices, and formats to find your next great experience.

Still looking for the right event?

Explore all events in Kyiv and filter by date, category, and more to find the perfect fit.