"Propositions as Types" by Philip Wadler

"Categories for the Working Hacker" by Philip Wadler

"The Mess We're In" by Joe Armstrong

Naïve Type Theory by Thorsten Altenkirch (University of Nottingham, UK)

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

Functional programming design patterns by Scott Wlaschin

Think Fast, Talk Smart: Communication Techniques

Philip Wadler - Propositions as Types (Lambda Days 2016)

"A Little Taste of Dependent Types" by David Christiansen

Bidirectional Type Checking

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

"How to Think about Parallel Programming: Not!" - Guy L. Steele Jr. (Strange Loop 2010)

A Crash Course in Category Theory - Bartosz Milewski

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

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

Lambda Calculus vs. Turing Machines (Theory of Computation)

"Point-Free or Die: Tacit Programming in Haskell and Beyond" by Amar Shah

Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript

Philip Wadler – Propositions as Types

Paul Tarau. Training Neural Networks as Theorem Provers via the Curry-Howard Isomorphism

"Dependent Types in Haskell" by Stephanie Weirich