- "Propositions as Types" by Philip Wadler https://www.youtube.com/watch?v=IOiZatlZtGU 40 comments haskell
- Questions on Wadler's "Propositions as Types" https://www.youtube.com/watch?v=IOiZatlZtGU 7 comments compsci
- "Propositions as Types" by Philip Wadler https://www.youtube.com/watch?v=IOiZatlZtGU 106 comments programming
Linking pages
- Would aliens understand lambda calculus? - Tomas Petricek http://tomasp.net/blog/2018/alien-lambda-calculus/ 111 comments
- GitHub - hellerve/programming-talks: Awesome & interesting talks about programming https://github.com/hellerve/programming-talks 22 comments
- Linearity and Control https://blog.yoshuawuyts.com/linearity-and-control/ 17 comments
- On Programming Language Design - ielliott.io http://blog.ielliott.io/on-programming-language-design/ 16 comments
- Infrequent, Pragmatic, Lambda Blog - Type Enthusiast's Notes about TypeScript. Part 6. Reasoning using Types https://rpeszek.github.io/posts/2022-03-13-ts-types-part6.html 12 comments
- GitHub - spamegg1/reviews: Reviewing some online CS courses I took https://github.com/spamegg1/reviews 3 comments
- On Lisp in 15 minutes. A tour of theoretical foundations of… | by Iwo Herka | Makimo Tech Blog | Medium https://medium.com/makimo-tech-blog/on-lisp-in-15-minutes-3286c179584f 1 comment
- Idris dependent typing challenge: Bowling Kata – Deque https://deque.blog/2017/07/01/idris-bowling-kata/ 0 comments
- A Birds Eye View of Functional Programming | by Brooklyn Zelenka | Making Internets | Medium https://medium.com/making-internets/a-bird-s-eye-view-of-functional-programming-7325853ff9ad 0 comments
- GitHub - sderosiaux/every-single-day-i-tldr: A daily digest of the articles or videos I've found interesting, that I want to share with you. https://github.com/sderosiaux/every-single-day-i-tldr 0 comments
- GitHub - JanVanRyswyck/awesome-talks: Awesome online talks and screencasts https://github.com/JanVanRyswyck/awesome-talks 0 comments
Related searches:
Search whole site: site:www.youtube.com
Search title: "Propositions as Types" by Philip Wadler - YouTube
See how to search.