[ICFP’23] Grand Cresent

(8:56:6)

[ICFP’23] Olympic

(6:19:32)

[ICFP’23] Vashon 1

(8:45:23)

[ICFP’23] St. Helens

(4:33:5)

[ICFP’23] St. Helens

(3:27:55)

[ICFP’23] Vashon 2

(8:22:50)

[ICFP'23] Fifth Avenue

(9:38:16)

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

(1:10:55)

[ICFP24] Capabilities for Control

(1:4:20)

[ICFP'23] Grand Ballroom 2

(9:41:53)

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

(9:13:25)

[ICFP'23] Grand Ballroom 2

(8:31:12)

[ICFP'23] Grand Ballroom 2

(8:38:)

[Haskell'23] The Evolution of Effects

(1:6:11)

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

(7:25:39)

Keynote: From Scheme to Typed Racket

(1:5:34)

[FUNARCH'23] Functional Programming in the Large - Status and Perspective

(45:18)

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

(47:58)

[ICFP'23] Calculating Compilers for Concurrency

(29:32)

[ICFP'23] Fifth Avenue

(7:45:16)

[ICFP’23] St. Helens

(9:58:16)

[ICFP'23] Fifth Avenue

(5:55:1econd)

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

(29:43)

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

(39:5)

[ICFP'23] A General Fine-Grained Reduction Theory for Effect Handlers

(26:38)

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

(28:58)

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

(1:6:49)

[ICFP'23] With or Without You: Programming with Effect Exclusion

(27:8)