1:02:45

01 The Rust Programming Language

ICFP Video

31:13

02 Combining Effects and Coeffects

ICFP Video

30:35

03 An Algebraic Approach to Typechecking and Elaboration

ICFP Video

24:55

04 A Denotational Semantics for Hindley Milner Polymorphism

ICFP Video

32:32

05 Combining Manifest Contracts With State

ICFP Video

28:37

06 Dependent Types Effects and Efficient Verification Conditions in F star

ICFP Video

27:47

07 Effects in Bayesian Inference

ICFP Video

26:26

09 A Divertemento on MonadPlus

ICFP Video

28:35

10 Monadic Effects

ICFP Video

27:28

11 Unifying Worlds and Resources

ICFP Video