John Leo: Dependent Types in GHC
Автор: Bay Area Haskell
Загружено: 2017-04-26
Просмотров: 1227
Presented at BayHac 2017
https://wiki.haskell.org/BayHac2017
Slides:
https://github.com/halfaya/BayHac
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке: