City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English

Полиморфные функции, зависимые функции, тип-произведение, тип-сумма, неявные аргументы, нотации
Introduction to Formal Verification

What: Lecture
When: Thursday, 18 March 2021, 22:30–00:00
Where: Конференция в zoom, Онлайн

Video