Keynote: Programming Languages in Agda = Programming (...) - Philip Wadler | Lambda Days 2021

Просмотров: 1,250 | Время: 53:06 | Голосов: +1 +1 | Скачать

Скачать клип Keynote: Programming Languages in Agda = Programming (...) - Philip Wadler | Lambda Days 2021