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 - Keynote: SpaceMonads

(57:10)

Conor McBride - Worldly Type Systems

(1:11:40)

Conor McBride – Epigram 2: Autopsy, Obituary, Apology

(1:42:15)

Conor McBride: \

(1:32:41)

Coming Out: 10 Years Later

(10:17)

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

(5:39)

Conor McBride - Worldly type systems + Linear dependent types

(1:55:48)

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

(1:17:33)

Forgiving the unforgivable: Colleen Haggerty at TEDxBellingham

(10:20)

Jonathan Weinberger: A Type Theory for (∞,1)-Categories

(1:10:51)

Twitch: Proving things using Agda!

(2:35:12)

Jonathan Gorard: \

(1:18:)

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

(23:58)

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

(50:20)

Hasochistic Containers by Conor McBride

(1:4:15)

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

(26:11)

Cubical Adventures

(46:46)

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

(1:2:1econd)

Player Interview | Connor McBride

(1:46)

CS410 2017 Lecture 1 (Programs and Proofs)

(53:26)

strathclyde transactions

(1:46)

TIAP Conor McBride - Type Inference needs Revolution

(46:11)

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

(4:38)

Made to Parade S05 Bonus Episode - Conor McBride - Crossgar Young Defenders

(39:24)