ФиззБазз ΟΕΔ. Практическое введение в формальную верификацию на зависимых типах Idris 2 +26
Публикации с тегом зависимые типы
Знакомство с p-адическими числами. Часть 2, практическая +12
Научно-исследовательские инициативы JetBrains +26
Имитируем функционал зависимых типов в системе типов Rust +42
Тесты или типы +45
Как сделать ещё больше некорректных состояний ещё более невыразимыми +28
Краткий справочник информатики -3
Паттерн Model-Update-View и зависимые типы +16
От зависимых типов к гомотопической теории типов на Scala + Shapeless + ProvingGround +20
Курсы Computer Science клуба, весна 2017 +29
Шаблон проектирования View в языках с зависимыми типами +12
