31:05

03 Generic diff3 for Algebraic Datatypes

ICFP Video

20:38

04 Programming Assistance for Type directed Programming

ICFP Video

14:36

05 generic partially static data

ICFP Video

22:33

06 Bidirectional Transformations are Proof relevant Bisimulations

ICFP Video

27:04

07 Applications of Applicative Proofs Search

ICFP Video

29:38

08 Liberating Effects with Rows and Handlers

ICFP Video

26:49

09 Programming with Monadic CSP Style Processes in Dependent Type Theory

ICFP Video

33:08

10 Generic Lookup and Update for Infinitary Inductive Recursive Types

ICFP Video

20:55

11 Parametrized Extensible Effects and Session Types

ICFP Video

20:06

12 An Agda formalization of the transitive closure of block matrices

ICFP Video