All decks Close
All decks 5

  • Системы типов в двух словах v2

    Sep 09, 2020 1,357 0

  • Система типов TypeScript как машна Тьюринга

    Nov 19, 2019 1,696 1

  • Системы типов в двух словах

    Oct 16, 2018 3,842 2

  • Web Security

    Mar 27, 2018 2,717 1

  • Прагматичные зависимые типы

    Mar 13, 2018 2,391 1