"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.
Philip Wadler
UNIVERSITY OF EDINBURGH
@PhilipWadler
Philip Wadler is Professor of Theoretical Computer Science at the University of Edinburgh. He is an ACM Fellow and a Fellow of the Royal Society of Edinburgh, past chair of ACM SIGPLAN, past holder of a Royal Society-Wolfson Research Merit Fellowship, and a winner of the POPL Most Influential Paper Award. Previously, he worked or studied at Stanford, Xerox Parc, CMU, Oxford, Chalmers, Glasgow, Bell Labs, and Avaya Labs, and visited as a guest professor in Copenhagen, Sydney, and Paris. He has an h-index of 60, with more than 18,000 citations to his work according to Google Scholar. He contributed to the designs of Haskell, Java, and XQuery, and is a co-author of Introduction to Functional Programming (Prentice Hall, 1988), XQuery from the Experts (Addison Wesley, 2004) and Generics and Collections in Java (O'Reilly, 2006). He has delivered invited talks in locations ranging from Aizu to Zurich.
Видео "Propositions as Types" by Philip Wadler канала Strange Loop Conference
Philip Wadler
UNIVERSITY OF EDINBURGH
@PhilipWadler
Philip Wadler is Professor of Theoretical Computer Science at the University of Edinburgh. He is an ACM Fellow and a Fellow of the Royal Society of Edinburgh, past chair of ACM SIGPLAN, past holder of a Royal Society-Wolfson Research Merit Fellowship, and a winner of the POPL Most Influential Paper Award. Previously, he worked or studied at Stanford, Xerox Parc, CMU, Oxford, Chalmers, Glasgow, Bell Labs, and Avaya Labs, and visited as a guest professor in Copenhagen, Sydney, and Paris. He has an h-index of 60, with more than 18,000 citations to his work according to Google Scholar. He contributed to the designs of Haskell, Java, and XQuery, and is a co-author of Introduction to Functional Programming (Prentice Hall, 1988), XQuery from the Experts (Addison Wesley, 2004) and Generics and Collections in Java (O'Reilly, 2006). He has delivered invited talks in locations ranging from Aizu to Zurich.
Видео "Propositions as Types" by Philip Wadler канала Strange Loop Conference
Показать
Комментарии отсутствуют
Информация о видео
26 сентября 2015 г. 21:57:32
00:42:43
Другие видео канала
"Categories for the Working Hacker" by Philip Wadler"Uptime 15,364 days - The Computers of Voyager" by Aaron Cummings"A Little Taste of Dependent Types" by David ChristiansenYOW! 2013 Philip Wadler - The First Monad Tutorial #YOW"Fast and Dynamic" by Maxime Chevalier-Boisvert (2013)"The Mess We're In" by Joe Armstrong"Performance Matters" by Emery BergerPropositions as Types - Computerphile"RGB to XYZ: The Science and History of Color" by John AustinAnalogy as the Core of Cognition"Understanding TypeScript's Structural Type System" by Drew Colthorp"Finding bugs without running or even looking at code" by Jay Parlar"How to Hack a Painting" by Tyler Hobbs"A Box of Chaos: The Generative Artist's Toolkit" by Benjamin KovachLambda Calculus - ComputerphileCategory Theory in Life - Eugenia ChengSimon Peyton-Jones: Escape from the ivory tower: the Haskell journey"Everything Old is New Again: Quoted Domain Specific Languages" by Philip Wadler"Proof Theory Impressionism: Blurring the Curry-Howard Line" by Dan PittmanPhilip Wadler - Plutus and Marlowe