Denotational Semantics Courses
ACM SIGPLAN via YouTube Focusing on Refinement Typing - A Logically Principled Foundation
ACM SIGPLAN via YouTube Higher Order Bayesian Networks, Exactly - POPL 2024
ACM SIGPLAN via YouTube Shoggoth - A Formal Foundation for Strategic Rewriting
ACM SIGPLAN via YouTube