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

(24:5)

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

(26:34)

ICFP 2014: Soft Contract Verification - David Van Horn

(24:55)

ICFP 2014: Behavioral Software Contracts - Robert Bruce Findler

(58:40)

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

(25:23)

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

(1:49:42)

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

(7:59:57)

ICFP Social Events Ask Me Anything Talia Ringer

(33:6)

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

(8:5:13)

ICFP Keynote: Evan Czaplicki

(1:2:30)

[PLMW @ ICFP24] Getting the Most Out of ICFP

(47:53)

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

(1:51)

Thorsten Altenkirch - 1/2 Towards a Syntax for Cubical Type Theory

(1:17:33)

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

(46:44)

3 01 A Functional Programmer's Guide to Homotopy Type Theory

(1:35)

ICFP 2014: ICFP Contest Results - Duncan Coutts

(40:5)

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

(26:11)

ICFP 2014: Using Formal Methods to Enable More Secure Vehicles: Kathleen Fisher

(30:1econd)

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

(24:)

ICFP 2014:On Teaching How to Design Programs: Observations from a Newcomer - Norman Ramsey

(25:37)

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

(21:42)

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

(21:39)

ICFP 2014: session \

(55:3)

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

(28:11)

ICFP 2014: conference wrapup \u0026 advert for ICFP 2015

(8:21)

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

(24:21)

ICFP 2014: Krivine Nets - Olle Fredriksson

(18:51)