Зависимые типы — будущее языков программирования +30 07.12.2018 13:09 ph_piter 97 Семантика Математика Программирование Проектирование и рефакторинг Блог компании Издательский дом «Питер»
Руководство для практикующего специалиста, как читать научные статьи по языкам программирования +24 12.02.2018 07:31 m1rko 3 Программирование Математика Профессиональная литература Семантика Терминология IT Учебный процесс в IT
Как запутать аналитика. Часть первая +10 29.06.2017 04:28 maxstroy 14 IT-стандарты Математика ООП Семантика Анализ и проектирование систем
Статическая и динамическая типизация +34 25.08.2016 08:21 freetonik 84 Программирование JavaScript Rust Python Haskell
Открытые лекции для школьников и студентов про типизацию в языках программирования +9 20.05.2016 17:03 prijutme4ty 12 Я пиарюсь