58:14[POPL'22] Coalgebra for the working programming languages researcherACM SIGPLAN2.4K viewsView & Download
11:31Top 5 Programming Languages to Learn in 2026 (to Actually Get Hired)Programming with Mosh308.9K viewsView & Download
2:59[SRC POPL'22] Eleftherios Ioannidis -- Normalization-by-evaluation and Metaprogramming with PHOASACM SIGPLAN140 viewsView & Download
5:25STOP Learning These Programming Languages (for Beginners)Andy Sterkowitz775.1K viewsView & Download
1:24:26[TutFest@POPL'22] Formal Methods and Deep Learning [Part II]ACM SIGPLAN383 viewsView & Download
2:49[SRC POPL'22] Jonathan Chan -- Towards a Syntactic Model of Sized Dependent TypesACM SIGPLAN226 viewsView & Download
![[POPL'22] Better Learning through Programming Languages — ACM SIGPLAN — popl22 better learning through programming languages YouTube to MP3 & MP4 download on TubeGalore](/api/image/Z--1OUWlLF4/mqdefault)
![[POPL'22] Coalgebra for the working programming languages researcher — ACM SIGPLAN — popl22 better learning through programming languages YouTube to MP3 & MP4 download on TubeGalore](/api/image/Qb0z1FWT5bw/mqdefault)
![[POPL'22] Principles of Programming Language Translators — ACM SIGPLAN — popl22 better learning through programming languages YouTube to MP3 & MP4 download on TubeGalore](/api/image/SaiQdrprBFQ/mqdefault)
![[SRC POPL'22] Eleftherios Ioannidis -- Normalization-by-evaluation and Metaprogramming with PHOAS — ACM SIGPLAN — popl22 better learning through programming languages YouTube to MP3 & MP4 download on TubeGalore](/api/image/8c-enu_jnK8/mqdefault)
![[TutFest@POPL'22] Formal Methods and Deep Learning [Part II] — ACM SIGPLAN — popl22 better learning through programming languages YouTube to MP3 & MP4 download on TubeGalore](/api/image/md1srHZysWs/mqdefault)
![[POPL'22] Tutorial: Data-driven program analysis — ACM SIGPLAN — popl22 better learning through programming languages YouTube to MP3 & MP4 download on TubeGalore](/api/image/5fJK_TmtQIE/mqdefault)
![[POPL'22] Type-Level Programming with Match Types — ACM SIGPLAN — popl22 better learning through programming languages YouTube to MP3 & MP4 download on TubeGalore](/api/image/CKPtv4xj0Gs/mqdefault)
![[SRC POPL'22] Jonathan Chan -- Towards a Syntactic Model of Sized Dependent Types — ACM SIGPLAN — popl22 better learning through programming languages YouTube to MP3 & MP4 download on TubeGalore](/api/image/kMys-2RU0bo/mqdefault)