36:35

HOPE 2021 - Representing Monads with Capabilities

ACM SIGPLAN

33:36

HOPE 2021 - The Functional Machine Calculus

ACM SIGPLAN

17:00

HOPE 2021 - Computational calculus: bridging reduction and evaluation

ACM SIGPLAN

29:23

HOPE 2021 - Handler calculus

ACM SIGPLAN

30:18

HOPE 2021 - A Monad for Shared-State Concurrency

ACM SIGPLAN

23:03

HOPE 2021 - First-class Names for Effect Handlers

ACM SIGPLAN

26:00

HOPE 2021 - Dynamic Scope + Laziness = Counterfactuals

ACM SIGPLAN

3:46:08

HOPE 2021 - Full Workshop

ACM SIGPLAN