YoVDO

Operational Game Semantics for Generative Algebraic Effects and Handlers

Offered By: ACM SIGPLAN via YouTube

Tags

Lambda Calculus Courses Functional Programming Courses Type Theory Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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 22
Yale 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