[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] Olympic

(8:56:22)

[ICFP'22] \

(14:49)

[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)

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

(39:5)

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

(8:5:13)

[ICFP'23] Grand Ballroom 2

(9:41:53)

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

(7:59:57)

[PLMW @ ICFP24] Getting the Most Out of ICFP

(47:53)

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

(52:26)

[PLMW] Managing Your Research, Your Advisor, Your PhD

(1:21:53)

TOC Meeting 2024-11-05

(45:44)

[ICFP'23] Grand Ballroom 2

(8:31:12)

Guy Steele: Dan Friedman--Cool Ideas (Dan Friedman's 60th Birthday)

(57:1econd)

[ICFP'22] On Feller Continuity and Full Abstraction

(19:46)

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

(55:8)

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

(16:20)

[ICFP'22] Multi Types and Reasonable Space

(17:52)

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

(16:1econd)

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

(28:40)

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

(14:7)

[ICFP'22] Searching Entangled Program Spaces

(12:19)

[PLMW@ICFP'22] How to thrive as a PhD student

(44:48)

[ICFP'22] Modular Probabilistic Models via Algebraic Effects

(14:35)

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

(16:14)