18:10[POPL'24] Parametric Subtyping for Structural Parametric PolymorphismACM SIGPLAN168 viewsView & Download
21:33[POPL'24] When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-C...ACM SIGPLAN323 viewsView & Download
11:13Podcast 4, part 2 Polymorphic type inference – the general ideaSyntaks og semantik626 viewsView & Download
12:17Podcast 4, part 3 Polymorphic type inference unificationSyntaks og semantik478 viewsView & Download
14:34Language Models are Injective and Hence Invertible (Oct 2025)AI Paper Slop354 viewsView & Download
8:33Dynamic Casting and RTTI in C++ | Type Identification ExplainedCoding Shoding1.1K viewsView & Download
1:18:23Stanford CS224N NLP with Deep Learning | 2023 | Lecture 16 - Multimodal Deep Learning, Douwe KielaStanford Online45.5K viewsView & Download