ICFP 2014:On Teaching How to Design Programs: Observations from a Newcomer - Norman Ramsey
ICFP 2014: Type-Based Parametric Analysis of Program Families - Sheng Chen
Jeremy Gibbons – How to design co-programs
ICFP 2014: Soft Contract Verification - David Van Horn
ICFP 2014: Lem: Reusable Engineering of Real-World Semantics - Dominic P. Mulligan
ICFP 2014: How to Keep Your Neighbours in Order - Conor McBride
ICFP 2014: Depending on Types - Stephanie Weirich (discussion)
ICFP 2014: Concurrent NetCore: From Policies to Pipelines - Cole Schlesinger
ICFP 2014: Program Chair's Report (Manuel Chakravarty)
ICFP 2014: Practical and Effective Higher-Order Optimizations - Lars Bergstrom
How to Design Programs - 3
ICFP 2014: Most Influential Paper Award (for 2004)
ICFP 2014: Behavioral Software Contracts - Robert Bruce Findler
ICFP 2014: Building Embedded Systems with Embedded DSLs (Experience Report) - Patrick Hickey
ICFP 2014: SML# in Industry: A Practical ERP System Development (Experience Report)
ICFP 2014: Hindley-Milner Elaboration in Applicative Style (Functional Pearl) - Francois Pottier
"How to Design Programs" By Matthias Felleisen
ICFP 2014: Using Formal Methods to Enable More Secure Vehicles: Kathleen Fisher
ICFP 2014: Settable and Non-Interfering Signal Functions for FRP - Daniel Winograd-Cort
How to Design Programs - 7