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

(40:26)

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

(46:44)

[ICFP'22] A Reasonably Gradual Type Theory

(15:51)

[ICFP'22] Linearly Qualified Types: Generic Inference for Capabilities and Uniqueness

(16:20)

[ICFP'22] Practical Generic Programming over a Universe of Native Datatypes

(15:36)

[ICFP'22] A Simple and Efficient Implementation of Strong Call by Need by an Abstract Ma…

(17:40)

[ICFP'22] A Completely Unique Account of Enumeration

(12:34)

[ICFP'22] Generating Circuits with Generators

(16:36)

[ICFP'22] Entanglement Detection with Near-Zero Cost

(16:1econd)

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

(8:5:13)

Type Theory for the Working Rustacean - Dan Pittman

(19:24)

[HIW'22] State of GHC

(1:17:36)

\

(39:31)

[ICFP’23] Grand Cresent

(8:56:6)

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

(2:27:29)

Rust: Generics, Traits, Lifetimes

(35:34)

MCP (Mineralogical Collection Professionals) - What's Hot In Tucson: 2025 LIVE

(8:40)

[ICFP'23] Grand Ballroom 2

(9:41:53)

[ICFP'23] Welcome

(6:21)

[ICFP'22] Automatically Deriving Control-Flow Graph Generators from Operational Semantics

(16:14)

[ICFP'22] Safe Couplings: Coupled Refinement Types

(15:5)

[ICFP'22] Datatype-Generic Programming Meets Elaborator Reflection

(15:48)

[ICFP'22] Searching Entangled Program Spaces

(12:19)

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

(28:40)

[ICFP'22] Structural versus Pipeline Composition of… (Experience Report)

(14:7)

[ICFP'22] Monadic Compiler Calculation (Functional Pearl)

(15:22)

[ICFP'22] Beyond Relooper: Recursive Translation of Unstructured Control Flow to Structu…

(15:36)

[ICFP'22] Flexible Presentations of Graded Monads

(14:50)