Richard Eisenberg on Dependent Types

David Christiansen - Coding for Types: The Universe Patern in Idris - Curry On

"Dependent Types in Haskell" by Stephanie Weirich

Implementing In-memory Caches in Haskell

George Wilson - An Intuition for Propagators - Compose Melbourne 2019

LambdaConf 2015 - A Practical Introduction to Haskell GADTs Richard Eisenberg

Jeremy Avigad: "Formal mathematics, dependent type theory, and the Topos Institute"

"A Little Taste of Dependent Types" by David Christiansen

Making sense of the Haskell type system by Ryan Lemmer at FnConf17

Simon Peyton Jones - Linear Haskell: practical linearity in a higher-order polymorphic language

A Crash Course in Category Theory - Bartosz Milewski

"Propositions as Types" by Philip Wadler

Dependent Types with David Christiansen – Functional Futures

Write a GHC extension in 30 minutes by Richard Eisenberg

George Wilson - The Extended Functor Family

What are dependent types? aka the Calculus of Construction (as a type wizard)

Think Fast, Talk Smart: Communication Techniques

Haskell Servant: Type-Level DSLs for Web APIs

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

Dependent types for practical use

Basic optics: lenses, prisms, and traversals in Haskell