ACM SIGPLAN
A Monadic Framework for Name Resolution in Multi-Phased Type Checkers
Explore a monadic framework for name resolution in multi-phased type checkers, bridging the gap between abstract typing rules and practical implementations using compositional mappings and monadic combinators.
YouTube32 minutesSelf-pacedFree video
CppCon
Applicative - The Forgotten C++ Functional Pattern
Explore the powerful applicative pattern in C++, learning its uses in optionals, ranges, futures, and more. Gain insights to write simpler, composable code beyond monads and functors.
YouTube1 hour 1 minuteSelf-pacedFree video
ACM SIGPLAN
Multi-phase Computation as an Applicative Functor
Explore multi-phase computation as an applicative functor, bridging static and dynamic program structures. Gain insights into resolving tensions between data and execution patterns.
YouTube1 hour 18 minutesSelf-pacedFree video
Dublin Institute for Advanced Studies DIAS
A Simple Axiom for Euclidean Quantum Field Theory
Explore a concise mathematical definition of quantum field theory and its implications for physics through a categorical approach to Riemannian manifolds and Hilbert spaces.
YouTube1 hour 5 minutesSelf-pacedFree video