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

(1:10:55)

ICFP Keynote: Evan Czaplicki

(1:2:30)

Fun, Funky, Functional: The Pursuit of Better User Interfaces for Programming

(1:51)

ICFP Keynote: Audrey Tang

(1:6:40)

[ICFP'22] Retrofitting Concurrency – Lessons from the Engine Room

(40:26)

ICFP 2018 Keynote Address: The Role of Functional Programming and DSLs in Hardware

(1:1:9)

ICFP 2018 Keynote Address: Gradual Typing

(1:2:36)

[PLMW @ ICFP24] Getting the Most Out of ICFP

(47:53)

[ICFP'24] Green - Business Meeting (Sep 4th)

(1:49:42)

[SPLASH'24] IBR - OOPSLA Keynote (Oct 25th)

(1:34:50)

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

(8:5:13)

[ICFP24] Capabilities for Control

(1:4:20)

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

(55:8)

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

(7:59:57)

[Haskell'23] The Evolution of Effects

(1:6:11)

Sponsored Keynote: DevOps, 12-Factor and Platform Engineering - Ryan Garrett , Cortex

(7:36)

[ICFP'24] Meeting 4 - Scheme (Sep 7th)

(8:37:55)

ICFP'21 Tutorials - Programming with Effect Handlers and FBIP in Koka

(2:27:29)

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

(1:6:49)

ICFP 2018 Keynote Address: Conveying the Power of Abstraction

(1:30)

[ICFP'23] TypeScript: Static types for JavaScript (Keynote)

(1:11:29)

ICFP 2012 Tuesday keynote. Kunle Olukotun: High Performance Embedded Domain Specific Languages.

(1:38)

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

(39:5)

[ICFP’23] Vashon 2

(8:22:50)

[ICFP 2021] Keynote: Building PL-Powered Systems for Humans by Elena Glassman

(1:8:5)

[ICFP'22] Deep Programmability: A New Lens on Networking

(46:44)

ICFP 2012 Monday keynote. Conor McBride: Agda-curious?

(1:2:1econd)