Скачать
Philip Wadler - Propositions as Types (Lambda Days 2016)
Автор: Erlang Solutions
Загружено: 2016-03-02
Просмотров: 19662
Описание:
Slides and more info: http://www.lambdadays.org/lambdadays2...
Alternative recording: • "Propositions as Types" by Philip Wadler
The principle of Propositions as Types links logic to computation. At first sight it appears to be a simple coincidence---almost a pun---but it turns out to be remarkably robust, inspiring the design of theorem provers and programming languages, and continuing to influence the forefronts of computing. Propositions as Types has many names and many origins, and is a notion with depth, breadth, and mystery. Learn why functional programming is (and is not) the universal programming language.
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
![Computational Type Theory [1/5] - Robert Harper - OPLSS 2018](https://ricktube.ru/thumbnail/LE0SSLizYUI/mqdefault.jpg)
