"Propositions as Types" by Philip Wadler

"Categories for the Working Hacker" by Philip Wadler

"The Mess We're In" by Joe Armstrong

"A Little Taste of Dependent Types" by David Christiansen

Propositions as Types (7)

"Everything Old is New Again: Quoted Domain Specific Languages" by Philip Wadler

The first 20 hours -- how to learn anything | Josh Kaufman | TEDxCSU

Lagu Santai Buat Kerja - Lagu Pop Hits Indonesia Tahun 2000an #Mungkin Nanti#Ku Katakan Dengan Indah

Think Fast, Talk Smart: Communication Techniques

"Dependent Types in Haskell" by Stephanie Weirich

"Safe and fast parsers with Nom and Rust" by Geoffroy Couprie

Philip Wadler – Propositions as Types

How to Speak

Jazz UP Efficiency UP 🙌ㅣLight cafe music that is moderately exciting and easy to listen to

Bisa Jadi Anda Salah Paham Tentang Berpikir Kritis

Gentle music, calms the nervous system and pleases the soul - healing music for the heart and blood

Propositions as Types - Computerphile

"Understanding TypeScript's Structural Type System" by Drew Colthorp

Math Videos: How To Learn Basic Arithmetic Fast - Online Tutorial Lessons

"Proof Theory Impressionism: Blurring the Curry-Howard Line" by Dan Pittman

1. Algorithms and Computation