1:56

01 Welcome

ICFP Video

56:49

02 Compositional and Linear Encoding

ICFP Video

48:37

03 Type Level Web APIs

ICFP Video

48:55

04 Session Types for Rust

ICFP Video

59:51

05 Generic Programming With Effects

ICFP Video

41:53

06 Datatype Generic Programming in F#

ICFP Video

38:31

07 Dependently Typed Programming With Finite Sets

ICFP Video