Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Полиморфные функции, зависимые функции, тип-произведение, тип-сумма, неявные аргументы, нотации
Введение в формальную верификацию программ

Что: Лекция
Когда: Четверг, 18 марта 2021, 18:30–20:00
Где: Конференция в zoom, Онлайн

Видео