Denotational Semantics Courses
GOTO Conferences via YouTube The Mathematical Underpinnings of Promises in C++
CppNow via YouTube The Intellectual Ascent to Agda
CppNow via YouTube A Denotational Approach to Release/Acquire Concurrency - GALOP'24
ACM SIGPLAN via YouTube Modular Denotational Semantics for Effects with Guarded Interaction Trees
ACM SIGPLAN via YouTube Formal Specification and Testing for Reinforcement Learning
ACM SIGPLAN via YouTube Generic Programming with Extensible Data Types: Making Ad Hoc Extensible Data Types Less Ad Hoc
ACM SIGPLAN via YouTube Explicit Refinement Types - A Type Theory with Embedded Proofs
ACM SIGPLAN via YouTube An Algebraic Language for Specifying Quantum Networks
ACM SIGPLAN via YouTube Compiling Probabilistic Programs for Variable Elimination with Information Flow
ACM SIGPLAN via YouTube