54:30

01 Effective Programming: bringin algebraic effects and handlers to OCaml

ICFP Video

26:10

02 Effects as Capabilities

ICFP Video

31:25

03 A Logical Account of Type and Effect Systems

ICFP Video

15:42

04 Simple Dependent Polymorphic IO Effects

ICFP Video

24:49

06 Growing a Proof Assistant

ICFP Video

30:19

07 Type Directed Compilation of Row typed Algebraic Effects

ICFP Video

26:58

08 Administrative normal form, continued: Sharing control in direct style

ICFP Video

30:30

09 Functional models of full ground, and general, reference cells

ICFP Video