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

(24:5)

ICFP 2014: Soft Contract Verification - David Van Horn

(24:55)

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

(26:34)

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 2014: How to Keep Your Neighbours in Order - Conor McBride

(26:11)

ICFP 2014: ICFP Contest Results - Duncan Coutts

(40:5)

Lecture 1: Algorithmic Thinking, Peak Finding

(53:22)

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

(1:17:33)

CUFP 2014: Making Money From FP - Joe Armstrong

(59:27)

ICFP Social Events Ask Me Anything Talia Ringer

(33:6)

ICFP Keynote: Evan Czaplicki

(1:2:30)

ICFP 2012 Monday keynote. Conor McBride: Agda-curious?

(1:2:1econd)

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

(1:35)

Haskell 2014: Keynote, Anil Madhavapeddy, UniKernels: Functional Operating System Design

(1:1econd)

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

(46:44)

CUFP 2014: Adopting Functional Programming with OCaml at Bloomberg LP - Maxime Ransan

(20:25)

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: Maximal Sharing in the Lambda Calculus with letrec - Clemens Grabmayer

(24:21)

ICFP 2014: conference wrapup \u0026 advert for ICFP 2015

(8:21)

ICFP 2014: Krivine Nets - Olle Fredriksson

(18:51)