Dependent Types - salvation or plague | Lambda Days 2021

Introducing Nx - José Valim | Lambda Days 2021

Thorsten Altenkirch - Why Type Theory matters | Lambda Days 2019

Type-Driven Development in Idris — Edwin Brady

"A Little Taste of Dependent Types" by David Christiansen

Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18

David McAllester - Dependent Type Theory from the Perspective of Mathematics, Physics, and (...)

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

Richard Eisenberg on Dependent Types

"Dependent Types in Haskell" by Stephanie Weirich

"Super Haskell": an introduction to Agda by André Muricy

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

Think Fast, Talk Smart: Communication Techniques

"Propositions as Types" by Philip Wadler

Dependent types for practical use

Gradualize your language with set-theoretic types - Guillaume Duboc | Lambda Days 2024

Type Theory for the Working Rustacean - Dan Pittman

Dependent Types in the Idris Programming Language 1 - Edwin Brady - OPLSS 2017

Eliminating Run-Time Errors with Agda - Computerphile

Build a Realtime Chat App in React Native (tutorial for beginners) 🔴

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