Operational Game Semantics for Generative Algebraic Effects and Handlers
Offered By: ACM SIGPLAN via YouTube
Course Description
Overview
Explore a 30-minute conference talk from ACM SIGPLAN that presents a fully abstract trace semantics for a typed call-by-value λ-calculus with algebraic effects and handlers. Delve into the operational game semantics approach used to build a trace model representing interactions between programs and their environments. Learn about the language's dynamic allocation of effect instances as first-class values and how they can be exchanged. Gain insights from speakers Hamza Jaâfar and Guilhem Jaber as they discuss their paper on operational game semantics for generative algebraic effects and handlers.
Syllabus
[HOPE'23] Operational game semantics for generative algebraic effects and handlers
Taught by
ACM SIGPLAN
Related Courses
Radical and Type Theories in Organic Chemistry (1832-1850) - Lecture 22Yale University via YouTube Introduction to programming with dependent types in Scala
Stepik Uncovering the Unknown - Principles of Type Inference in Programming Languages
ChariotSolutions via YouTube Univalence from a Computer Science Point-of-View - Dan Licata
Institute for Advanced Study via YouTube Univalent Foundations and the Equivalence Principle - Benedikt Ahrens
Institute for Advanced Study via YouTube