21:43Tiark Rompf - Strong Normalization for Dependent Object Types (DOT)ECOOPLDI 2017178 viewsView & Download
38:42"Dependent Types in Haskell" by Stephanie WeirichStrange Loop Conference25.0K viewsView & Download
17:20Graded Modal Dependent Type Theory (ESOP 2021)Lectures by Prof. Eades at AU644 viewsView & Download
14:44[JFP@ICFP'22] ANF Preserves Dependent Types upto Extensional EqualityACM SIGPLAN384 viewsView & Download
16:09[ICFP'22] Propositional Equality for Gradual Dependently Typed ProgrammingACM SIGPLAN273 viewsView & Download
18:03Existentials, Universals, And Path Dependent Types For Practical, Safer InterfacesZiverge929 viewsView & Download
![[ICFP'22] A Reasonably Gradual Type Theory — ACM SIGPLAN — approximate normalization for gradual dependent types YouTube to MP3 & MP4 download on TubeGalore](/api/image/_G-h8cAKvTU/mqdefault)
![[JFP@ICFP'22] ANF Preserves Dependent Types upto Extensional Equality — ACM SIGPLAN — approximate normalization for gradual dependent types YouTube to MP3 & MP4 download on TubeGalore](/api/image/38gxG-PxzQ4/mqdefault)
![[ICFP'22] Propositional Equality for Gradual Dependently Typed Programming — ACM SIGPLAN — approximate normalization for gradual dependent types YouTube to MP3 & MP4 download on TubeGalore](/api/image/-wTfXsuNwrA/mqdefault)
