Verified Effectful Programming in F* - Catalin Hritcu
Автор: Catalin Hritcu
Загружено: 2018-12-07
Просмотров: 1776
Описание: This is the recording of an F* talk I gave at Tezos on 14 Nov 2018. The slides are available too: http://prosecco.gforge.inria.fr/perso...
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке: