57:31

Type-driven Development with Idris

TNG Technology Consulting GmbH

46:36

Type-Driven Development in Idris — Edwin Brady

Scala World

40:38

Type-driven Development of Communicating Systems in Idris by Edwin Brady

Lambda World

46:31

Edwin Brady - Type-driven Development of Communicating Systems in Idris

Erlang Solutions

48:05

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

Curry On!

1:45:43

LambdaConf 2015 - Write Some Idris Brian McKenna

Confreaks

41:05

The Dialectics of Type-Level Programming by Aaron Levin

Lambda World

48:05

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

Curry On!

1:00:10

The meta-theory of dependent type theories - Vladimir Voevodsky

Institute for Advanced Study

48:47

Academese to English: Scala's Type System, Dependent Types and What It Means To You

InfoQ

57:31

Type-driven Development with Idris

TNG Technology Consulting GmbH

38:42

"Dependent Types in Haskell" by Stephanie Weirich

Strange Loop Conference

38:42

"Dependent Types in Haskell" by Stephanie Weirich

Strange Loop Conference

25:50

(...) How to turn (Liquid) Haskell into a theorem prover - Niki Vazou(Lambda Days 2017)

Erlang Solutions

50:20

Scott Fleischman: Agda from Nothing Part 1 - λC 2016

LambdaConf

58:49

Scott Fleischman: Agda from Nothing Part 2 - λC 2016

LambdaConf

1:29:27

Sexy Types ΓÇô Are We Done Yet?

Microsoft Research

1:46:41

Scott Fleischman: Agda from Nothing: Order in the Types - λC Winter Retreat 2017

LambdaConf

1:01:25

Chris Casinghino - Making Dependent Types Practical

Boston Haskell

1:24:30

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

OPLSS

57:10

Incredibly Strange Programming Languages - Craig Stuntz

Stir Trek

8:46

Introduction to proving in Idris

David Christiansen

48:05

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

Curry On!

13:15

Idris: Type safe printf

Brian McKenna

56:54

raichoo: Programming with dependent types in Idris

media.ccc.de

2:00:37

Programming with dependent types in Idris (Hong Kong Functional Programming Meetup)

tomtauhk

4:15

Idris (programming language)

Audiopedia

5:19

Idris (Lightning Talk) — Caleb Jones

Rust Belt Rust Conference

1:33:37

Adventure with Types in Haskell - Simon Peyton Jones (Lecture 1)

jasonofthel33t

1:42:53

Edward Kmett - Type Classes vs. the World

Boston Haskell

48:12

Haskell Servant: Type-Level DSLs for Web APIs

Chicago Haskell

42:43

"Propositions as Types" by Philip Wadler

Strange Loop Conference

31:17

06 Introduction to Dependent Types

ICFP Video