13:54An Existential Crisis Resolved: Type Inference for First-Class Existential TypesACM SIGPLAN1.6K viewsView & Download
1:11:33Part 8: Haskell - Thinking with types (Chapter 7: Existential Types)cmdv-tv416 viewsView & Download
38:04Existential Types — Make OOP Great Again! by Julien Richard FoyScala Days Conferences3.9K viewsView & Download
4:27Type Inference: What is it, why do we want it, and what's Hindley-Milner?Adam Jones3.3K viewsView & Download
1:01:34Type inference as constraint solving: how GHC’s type inference engine actually works - SPJLambdAle3.6K viewsView & Download
56:10Lecture 6: Existential Types, Data Abstraction and Termination of System FNeelakantan Krishnaswami1.2K viewsView & Download
1:00:41Static Types Without the Hassle: Type Inference DemystifiedThe Pure State3.7K viewsView & Download