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
![[POPL'24] Polymorphic Type Inference for Dynamic Languages — ACM SIGPLAN — popl24 polymorphic type inference for dynamic languages YouTube to MP3 & MP4 download on TubeGalore](/api/image/dYJ9DB5ySwU/mqdefault)
![[POPL'24] Parametric Subtyping for Structural Parametric Polymorphism — ACM SIGPLAN — popl24 polymorphic type inference for dynamic languages YouTube to MP3 & MP4 download on TubeGalore](/api/image/tl-DWLjVw-o/mqdefault)
![[POPL'26] Local Contextual Type Inference — ACM SIGPLAN — popl24 polymorphic type inference for dynamic languages YouTube to MP3 & MP4 download on TubeGalore](/api/image/FHEIC7FblzE/mqdefault)
![[POPL'24] When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-C... — ACM SIGPLAN — popl24 polymorphic type inference for dynamic languages YouTube to MP3 & MP4 download on TubeGalore](/api/image/jDhSUuvxomY/mqdefault)
![[OOPSLA24] Type Inference Logics — ACM SIGPLAN — popl24 polymorphic type inference for dynamic languages YouTube to MP3 & MP4 download on TubeGalore](/api/image/t_jnXtr20e4/mqdefault)
![[POPL'24] Soundly Handling Linearity — ACM SIGPLAN — popl24 polymorphic type inference for dynamic languages YouTube to MP3 & MP4 download on TubeGalore](/api/image/sHGrKEoWtm8/mqdefault)
![[SessionPreviews@POPL'24] Types 3: Session Preview — ACM SIGPLAN — popl24 polymorphic type inference for dynamic languages YouTube to MP3 & MP4 download on TubeGalore](/api/image/t0Si5AjNmQ4/mqdefault)
![[POPL'24] Type-based Gradual Typing Performance Optimization — ACM SIGPLAN — popl24 polymorphic type inference for dynamic languages YouTube to MP3 & MP4 download on TubeGalore](/api/image/YHUadoP9ZFg/mqdefault)
![[POPL 2021] Data Flow Refinement Type Inference (full) — ACM SIGPLAN — popl24 polymorphic type inference for dynamic languages YouTube to MP3 & MP4 download on TubeGalore](/api/image/GOAguNduMcM/mqdefault)