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

(40:26)

[ICFP'22] A Reasonably Gradual Type Theory

(15:51)

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

(46:44)

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

(15:22)

[ICFP'22] \

(14:49)

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

(7:59:57)

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

(8:5:13)

Why We Chose Erlang over Java, Scala, Go, C

(47:48)

[Tutorials @ ICFP'23] Teaching and Learning Compilers Incrementally

(3:23:11)

[ICFP'23] Grand Ballroom 2

(9:41:53)

[Scheme'22] Programming is (should be) fun!

(52:26)

[ICFP'23] Welcome

(6:21)

[ICFP'23] FP²: Fully in-Place Functional Programming

(29:59)

Rust: Generics, Traits, Lifetimes

(35:34)

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

(39:5)

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

(17:40)

[ICFP'22] Olympic

(8:56:22)

[ICFP'22] A Completely Unique Account of Enumeration

(12:34)

[ICFP'22] On Feller Continuity and Full Abstraction

(19:46)

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

(16:20)

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

(16:1econd)

[ICFP'22] Multi Types and Reasonable Space

(17:52)

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

(14:7)

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

(28:40)

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

(55:8)

[ICFP'22] Searching Entangled Program Spaces

(12:19)

[ICFP'22] Modular Probabilistic Models via Algebraic Effects

(14:35)

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

(16:14)

[ICFP'22] Introduction and Elimination, Left and Right

(17:38)