(Programming Languages) in Agda = Programming (Languages in Agda) • Philip Wadler • YOW! 2019

Просмотров: 1 | Время: 01:00:04 | Голосов: +1 +1 | Скачать

Скачать клип (Programming Languages) in Agda = Programming (Languages in Agda) • Philip Wadler • YOW! 2019