ICFP 2014: Soft Contract Verification - David Van Horn
ICFP 2014: Behavioral Software Contracts - Robert Bruce Findler
ICFP 2014: Lem: Reusable Engineering of Real-World Semantics - Dominic P. Mulligan
HOPE 2014: Compositional Compiler Verification via Parametric Simulation
Goodwin Soft - Presentation Contracts (ENG)
ICFP 2014: Most Influential Paper Award (for 2004)
ICFP 2014: Worker/Wrapper/Makes It/Faster - Jennifer Hackett
ICFP 2014: How to Keep Your Neighbours in Order - Conor McBride
ICFP 2014: There is no Fork: Abstraction for Efficient, Concurrent, Concise Data Access
Abstracting Definitional Interpreters
CUFP 2014: If your server is a function, is your company a library? - Andrew Cowie
ICFP 2014: Coeffects: A Calculus of Context-Dependent Computation - Tomas Petricek
Towards Verification of Behavioral Software Contracts
ICFP 2014:On Teaching How to Design Programs: Observations from a Newcomer - Norman Ramsey
ICFP 2014: Compositional Semantics for Composable Continuations: From Abortive to Delimited Control
ICFP 2014: Practical and Effective Higher-Order Optimizations - Lars Bergstrom
WGP 2014: Bruno C. d. S. Oliveira. Functional Programming, Object-Oriented Programming and Algebras!
ICFP 2014: Building Embedded Systems with Embedded DSLs (Experience Report) - Patrick Hickey
ICFP 2012. Lee Pike: Experience Report - a Do-It-Yourself High-Assurance Compiler.
HIW 2014: GHC status update
