25:57

01 Welcome to ICFP

ICFP Video

36:09

02 PL research in industry

ICFP Video

46:37

03 Basic Mechanics of Operational Semantics

ICFP Video

50:03

04 Some Types of Types

ICFP Video

28:41

05 Analyzing JavaScript Web Applications in the Wild Mostly Statically

ICFP Video

31:17

06 Introduction to Dependent Types

ICFP Video

31:41

07 Program Transformations for Developing Efficient and Correct Programs with Ease

ICFP Video

38:20

08 How to write papers so that people can read them

ICFP Video

30:03

09 Principle and Practice of OCaml Type Debugger

ICFP Video

38:37

10 Unaccustomed as I am to public speaking

ICFP Video