[ICFP’23] Grand Cresent

(8:56:6)

[ICFP’23] St. Helens

(4:33:5)

[ICFP’23] Vashon 2

(8:22:50)

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

(1:6:49)

[ICFP'23] PC Chair's report

(13:36)

[ICFP’23] Vashon 1

(8:45:23)

[ICFP’23] Olympic

(6:19:32)

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

(47:58)

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

(7:25:39)

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

(9:14)

[ICFP'24] Green - ICFP Papers and Events (Sep 4th)

(8:5:13)

[ICFP'24] Meeting 3 - miniKanren (Sep 6th)

(7:50:27)

[ICFP'24] Green - ICFP Papers and Events (Sep 5th)

(7:59:57)

[ICFP24] Capabilities for Control

(1:4:20)

[ICFP'24] Meeting 3 - FARM (Sep 2nd)

(6:23:40)

IT Purple Conf: Is it a long way to Stanford?

(30:49)

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

(9:13:25)

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

(1:10:55)

[ICFP'23] Fifth Avenue

(9:38:16)

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

(28:58)

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

(29:43)

[ICFP’23] St. Helens

(9:58:16)

[ICFP'23] Programming contest report

(16:45)

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

(39:5)

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

(29:56)

[ICFP’23] St. Helens

(3:27:55)

[ICFP'23] Modular Models of Monoids with Operations

(28:19)

[ICFP'23] Fifth Avenue

(7:45:16)