Philip Wadler - Propositions as Types (Lambda Days 2016)
Автор: Erlang Solutions
Загружено: 2016-03-02
Просмотров: 19748
Описание:
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.
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
