23:22[POPL 2021] On the Semantic Expressiveness of Recursive Types (full)ACM SIGPLAN150 viewsView & Download
1:26:15Foundations of Programming Languages: Recursive Types and Programs - Paul Downen - OPLSS 2018OPLSS770 viewsView & Download
32:59Tiny Recursive Model Actually Works | Theory + Implementation from ScratchVizuara10.2K viewsView & Download
8:23OLAP Cube Operations Explained | Slice, Dice, Roll-up, Drill-down & Pivot Made SimpleSmartSlides14.1K viewsView & Download
![[OOPSLA24] Full Iso-recursive Types — ACM SIGPLAN — oopsla24 full iso recursive types YouTube to MP3 & MP4 download on TubeGalore](/api/image/7Fovhs7gkC8/mqdefault)
![[OOPSLA23] Mutually Iso-Recursive Subtyping — ACM SIGPLAN — oopsla24 full iso recursive types YouTube to MP3 & MP4 download on TubeGalore](/api/image/oJk04XWLu14/mqdefault)
![[POPL 2021] On the Semantic Expressiveness of Recursive Types (full) — ACM SIGPLAN — oopsla24 full iso recursive types YouTube to MP3 & MP4 download on TubeGalore](/api/image/0wyGGyuGPCk/mqdefault)
![[OOPSLA24] Type Inference Logics — ACM SIGPLAN — oopsla24 full iso recursive types YouTube to MP3 & MP4 download on TubeGalore](/api/image/t_jnXtr20e4/mqdefault)
![[OOPSLA24] Effects and Coeffects in Call-By-Push-Value — ACM SIGPLAN — oopsla24 full iso recursive types YouTube to MP3 & MP4 download on TubeGalore](/api/image/a-pegWP6Mmo/mqdefault)
