ICFP 2014: How to Keep Your Neighbours in Order - Conor McBride

(26:11)

ICFP 2014: session \

(55:3)

ICFP 2014: Maximal Sharing in the Lambda Calculus with letrec - Clemens Grabmayer

(24:21)

ICFP 2014: Worker/Wrapper/Makes It/Faster - Jennifer Hackett

(25:8)

ICFP 2014: Folding Domain-Specific Languages: Deep and Shallow Embeddings - Jeremy Gibbons

(26:34)

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

(2:27:29)

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

(8:5:13)

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

(7:59:57)

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

(8:37:55)

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

(1:49:42)

[ICFP24] Capabilities for Control

(1:4:20)

ICFP Keynote: Evan Czaplicki

(1:2:30)

[ICFP’23] Grand Cresent

(8:56:6)

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

(46:44)

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

(1:51)

ICFP 2014: ICFP Contest Results - Duncan Coutts

(40:5)

ICFP 2014: Coeffects: A Calculus of Context-Dependent Computation - Tomas Petricek

(21:39)

ICFP 2014: Most Influential Paper Award (for 2004)

(8:17)

ICFP 2014: Behavioral Software Contracts - Robert Bruce Findler

(58:40)

ICFP 2014: Depending on Types - Stephanie Weirich

(1:1econd)

ICFP 2014: Practical and Effective Higher-Order Optimizations - Lars Bergstrom

(21:42)

ICFP 2014: There is no Fork: Abstraction for Efficient, Concurrent, Concise Data Access

(25:23)

ICFP 2014: Concurrent NetCore: From Policies to Pipelines - Cole Schlesinger

(24:5)

ICFP 2014: Lem: Reusable Engineering of Real-World Semantics - Dominic P. Mulligan

(28:11)

ICFP 2014: Hindley-Milner Elaboration in Applicative Style (Functional Pearl) - Francois Pottier

(24:)

ICFP 2014: session \

(49:46)

ICFP 2014: A Relational Framework for Higher-Order Shape Analysis - Gowtham Kaki

(23:38)

ICFP 2014: Krivine Nets - Olle Fredriksson

(18:51)