59:51

01 The History of Standard ML: Ideas, Principles, Culture

ICFP Video

5:30

New Site for ML

ICFP Video

24:13

02 Generating Code with Polymorphic 'let'

ICFP Video

25:06

03 Polymorphism, subtyping, and ytpe inference in MLsub

ICFP Video

24:28

04 Arduiono programming of ML style in ATS

ICFP Video

25:27

05 resource monitoring for Poly ML Procoesses

ICFP Video

27:36

06 Dependent Types and Effects in F*

ICFP Video

23:53

07 Dependent Types for Real time Constraints

ICFP Video

20:19

08 Manifest Contracts for OCaml

ICFP Video

27:36

09 Lost in Extraction, Recovered

ICFP Video

25:31

10 GADTs and Exhaustivness: Looking for the Impossible

ICFP Video