40:56 "Idris: Practical Dependent Types with Practical Examples" by Brian McKenna Strange Loop Conference
38:12 "Type Systems - The Good, Bad and Ugly" by Paul Snively and Amanda Laucher Strange Loop Conference
35:08 "Proof Theory Impressionism: Blurring the Curry-Howard Line" by Dan Pittman Strange Loop Conference
36:35 "Typing the Untyped: Soundness in Gradual Type Systems" by Ben Weissmann Strange Loop Conference
45:39 "CodeGen with Types, for Humans, by Humans" by Matthew Griffith (Strange Loop 2022) Strange Loop Conference
27:40 "Ectype - bringing type safety (and more!) to vanilla JavaScript" by Holly Wu (Strange Loop 2023) Strange Loop Conference
32:30 "Typed Clojure: From Optional to Gradual Typing" by Ambrose Bonnaire-Sergeant Strange Loop Conference
40:14 "Scala vs Idris: Dependent types, now and in the future" by Miles Sabin and Edwin Brady (2013) Strange Loop Conference
