Вычислительная теория типов [4/5] - Роберт Харпер - OPLSS 2018

Летняя школа языков программирования в Орегоне Параллелизм и конкуренция 3-21 июля 2018 г. Университет Орегона https://www.cs.uoregon.edu/research/s... Название: Вычислительная теория типов [4/5] Докладчик: Роберт Харпер, Университет Карнеги-Меллона Дата: Четверг, 19 июля 2018 г., Сессия 1 Темы: теория типов © 2018, Университет Орегона