What Are Types For, Or Are They Only Against? • Conor McBride • YOW! 2016

(1:3:38)

Conor McBride : Forgiving the Unforgivable

(15:11)

Conor McBride - Worldly Type Systems

(1:11:40)

Conor McBride - Keynote: SpaceMonads

(57:10)

Conor McBride – Epigram 2: Autopsy, Obituary, Apology

(1:42:15)

Conor McBride: \

(1:32:41)

ICFP 2014: How to Keep Your Neighbours in Order - Conor McBride

(26:11)

The Foggy Dew - Sinéad O’Connor \u0026 The Chieftains, 1995

(5:39)

Thorsten Altenkirch - 1/2 Towards a Syntax for Cubical Type Theory

(1:17:33)

Jonathan Gorard: \

(1:18:)

A pedagogical introduction to Curry-Howard correspondence and its applications, for programmers

(2:44:54)

Twitch: Proving things using Agda!

(2:35:12)

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

(50:20)

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

(48:5)

Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types

(23:58)

ICFP 2014: Depending on Types - Stephanie Weirich

(1:1econd)

Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with [...]

(22:57)

Hasochistic Containers by Conor McBride

(1:4:15)

Cubical Adventures

(46:46)

ICFP 2012 Monday keynote. Conor McBride: Agda-curious?

(1:2:1econd)

CS410 2017 Lecture 1 (Programs and Proofs)

(53:26)

Player Interview | Connor McBride

(1:46)

strathclyde transactions

(1:46)

Videographer | Editor - Restorative Justice after Murder (Conor McBride's Story)

(4:38)

TIAP Conor McBride - Type Inference needs Revolution

(46:11)