2:59[SRC POPL'22] Eleftherios Ioannidis -- Normalization-by-evaluation and Metaprogramming with PHOASACM SIGPLAN140 viewsView & Download
1:02:33[PEPM'22] Modal Logics and Types: Looking Back and Looking ForwardACM SIGPLAN628 viewsView & Download
1:25:17Brigitte Pientka – Mechanizing Meta Theory in BelugaFMF Foundations seminar334 viewsView & Download
24:53[POPL'22] Bottom-Up Synthesis of Recursive Functional Programs using Angelic ExecutionACM SIGPLAN446 viewsView & Download
19:42[POPL'22] Twist: Sound Reasoning for Purity and Entanglement in Quantum ProgramsACM SIGPLAN137 viewsView & Download
19:30[POPL'25] A Dependent Type Theory for Meta-programming with Intensional AnalysisACM SIGPLAN239 viewsView & Download
17:07Template Metaprogramming - Type traits - part 1 of n | Modern Cpp Series Ep. 221Mike Shah2.8K viewsView & Download
![[POPL'22] Moebius: Metaprogramming using Contextual Types — ACM SIGPLAN — popl22 moebius metaprogramming using contextual types YouTube to MP3 & MP4 download on TubeGalore](/api/image/XfiO8ZHiZNw/mqdefault)
![[SRC POPL'22] Eleftherios Ioannidis -- Normalization-by-evaluation and Metaprogramming with PHOAS — ACM SIGPLAN — popl22 moebius metaprogramming using contextual types YouTube to MP3 & MP4 download on TubeGalore](/api/image/8c-enu_jnK8/mqdefault)
![[POPL'22] Type-Level Programming with Match Types — ACM SIGPLAN — popl22 moebius metaprogramming using contextual types YouTube to MP3 & MP4 download on TubeGalore](/api/image/CKPtv4xj0Gs/mqdefault)
![[PEPM'22] Modal Logics and Types: Looking Back and Looking Forward — ACM SIGPLAN — popl22 moebius metaprogramming using contextual types YouTube to MP3 & MP4 download on TubeGalore](/api/image/jCu6H2n32TI/mqdefault)
![[POPL'22] A Relational Theory of Effects and Coeffects — ACM SIGPLAN — popl22 moebius metaprogramming using contextual types YouTube to MP3 & MP4 download on TubeGalore](/api/image/xTb8Fww4RKc/mqdefault)
![[POPL'22] Semantics for Variational Quantum Programming — ACM SIGPLAN — popl22 moebius metaprogramming using contextual types YouTube to MP3 & MP4 download on TubeGalore](/api/image/M6o60DZfuIU/mqdefault)
![[POPL'22] Principles of Programming Language Translators — ACM SIGPLAN — popl22 moebius metaprogramming using contextual types YouTube to MP3 & MP4 download on TubeGalore](/api/image/SaiQdrprBFQ/mqdefault)
![[POPL'22] Logarithm and Program Testing — ACM SIGPLAN — popl22 moebius metaprogramming using contextual types YouTube to MP3 & MP4 download on TubeGalore](/api/image/WKG-0VI69rs/mqdefault)
![[POPL'22] Static Prediction of Parallel Computation Graphs — ACM SIGPLAN — popl22 moebius metaprogramming using contextual types YouTube to MP3 & MP4 download on TubeGalore](/api/image/uQbMrg5hWBA/mqdefault)
![[POPL'22] Bottom-Up Synthesis of Recursive Functional Programs using Angelic Execution — ACM SIGPLAN — popl22 moebius metaprogramming using contextual types YouTube to MP3 & MP4 download on TubeGalore](/api/image/iPLUKbI4Yfs/mqdefault)
![[POPL'26] Local Contextual Type Inference — ACM SIGPLAN — popl22 moebius metaprogramming using contextual types YouTube to MP3 & MP4 download on TubeGalore](/api/image/FHEIC7FblzE/mqdefault)
![[POPL'22] Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs — ACM SIGPLAN — popl22 moebius metaprogramming using contextual types YouTube to MP3 & MP4 download on TubeGalore](/api/image/H3GIBgH5Ud4/mqdefault)
![[POPL'25] A Dependent Type Theory for Meta-programming with Intensional Analysis — ACM SIGPLAN — popl22 moebius metaprogramming using contextual types YouTube to MP3 & MP4 download on TubeGalore](/api/image/63QOfoxPahY/mqdefault)
