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: 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: ICFP Contest Results - Duncan Coutts

(40:5)

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

(21:42)

ICFP 2014: Depending on Types - Stephanie Weirich

(1:1econd)

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

(24:5)

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

(25:23)

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

(23:38)

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

(26:34)

ICFP 2014: session \

(49:46)

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

(28:11)

ICFP 2014: Krivine Nets - Olle Fredriksson

(18:51)

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

(24:)