Programming Languages: Semantics and Type Systems

«Языки программирования: семантика и системы типов»

MS-level course, primary instructor · ITMO University — DevTools MS Program · Spring 2024 – present · Saint Petersburg, Russia · taught in Russian

A graduate course on programming-language semantics and type systems for the DevTools MS program at ITMO University.