[ICFP’23] Grand Cresent

(8:56:6)

[ICFP’23] Vashon 2

(8:22:50)

[ICFP’23] St. Helens

(4:33:5)

[ICFP'23] PC Chair's report

(13:36)

[ICFP’23] Vashon 1

(8:45:23)

[ICFP'23] The Cogent and Dargent approach to facilitating verified software development (Keynote)

(1:6:49)

[ICFP’23] Olympic

(6:19:32)

[ICFP24] Capabilities for Control

(1:4:20)

[ICFP'23] Grand Ballroom 2

(9:41:53)

[PLMW@ICFP'23] How to Thrive as a PhD student in PL

(47:58)

3 November 2024 | Coen L. | Fulness of Life: Ready to give an answer II | Acts 26

(1:54:40)

[ICFP'24] Orange 3 - Haskell (Sep 6th)

(7:25:39)

[ICFP'23] Grand Ballroom 2

(8:31:12)

[ICFP'23] Grand Ballroom 2

(8:38:)

[ICFP'22] Fireside Chat with Arvind and Guy Steele

(55:8)

[ICFP'24] Orange 3 - Haskell (Sep 7th)

(9:13:25)

[Haskell'23] The Evolution of Effects

(1:6:11)

[ICFP'23] Fifth Avenue

(9:38:16)

[ICFP'23] Formal Specification and Testing for Reinforcement Learning

(28:58)

[ICFP'23] Programming for the planet (Keynote)

(1:10:55)

[ICFP'23] How to Evaluate Blame for Gradual Types, Part 2

(29:43)

[ICFP’23] St. Helens

(9:58:16)

[PLMW@ICFP'23] Getting the Most Out of ICFP

(39:5)

[ICFP’23] St. Helens

(3:27:55)

[ICFP'23] Programming contest report

(16:45)

[ICFP'23] Modular Models of Monoids with Operations

(28:19)

[ICFP'23] Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verifica...

(29:56)

[ICFP'23] Fifth Avenue

(7:45:16)