Keynote: Propositions as Types - Philip Wadler
"Propositions as Types" by Philip Wadler
Philip Wadler - Propositions as Types (Lambda Days 2016)
Philip Wadler – Propositions as Types
Opening Keynote: Type and Money | John Maeda | ATypI 2019 Tokyo
Keynote: Programming Languages in Agda = Programming (...) - Philip Wadler | Lambda Days 2021
Keynote: Shared Session Types for Safe, Practical Concurrency – Stephanie Balzer
Keynote: From Scheme to Typed Racket
Keynote 139 | Value Propositions with John Prior | 23 Mar 2023
What the Best Pitch Decks Have in Common with Mike Vernal (Sequoia Capital)
Keynote at TIME 2024: Logical learning from time series, a general approach
Stephen Wright - keynote presentation - 29/09/2012
Philip Kotler -The Father of Modern Marketing-Keynote Speech-The Future of Marketing
MSFP 2020 Keynote I - Pierre-Marie Pédrot - All Your Base Category are Belong to Us
MSFP 2020 Keynote I -- Pierre-Marie Pédrot -- All Your Base Category are Belong to Us
SAP TechEd in 2024 Keynote - Where ideas get real
WED1. Keynote: The Secret to a Data Driven Enterprise with Apache Cassandra
ICFP 2012 Monday keynote. Conor McBride: Agda-curious?
Type Night in Canada, Keynote - Rod McDonald - ATypI 2017
The Power of Purpose in Business | Ashley M. Grice | TED
