ICFP 2014: Building Embedded Systems with Embedded DSLs (Experience Report) - Patrick Hickey
ICFP 2014: Folding Domain-Specific Languages: Deep and Shallow Embeddings - Jeremy Gibbons
ICFP 2014: Program Chair's Report (Manuel Chakravarty)
ICFP 2014: SeLINQ: Tracking Information Across Application-Database Boundaries - Daniel Schoepe
ICFP 2014: Lem: Reusable Engineering of Real-World Semantics - Dominic P. Mulligan
Haskell 2014: Keynote, Anil Madhavapeddy, UniKernels: Functional Operating System Design
ICFP 2012 Tuesday keynote. Kunle Olukotun: High Performance Embedded Domain Specific Languages.
ICFP 2014: Romeo: A System for More Flexible Binding-Safe Programming - Paul Stansifer
Tiark Rompf - DSL Embedding in Scala [1/2]
ICFP 2014: Most Influential Paper Award (for 2004)
ICFP 2014:On Teaching How to Design Programs: Observations from a Newcomer - Norman Ramsey
ICFP 2014:Distilling Abstract Machines - Damiano Mazza
ICFP 2014: How to Keep Your Neighbours in Order - Conor McBride
ICFP 2014: Soft Contract Verification - David Van Horn
ICFP 2014: Type-Based Parametric Analysis of Program Families - Sheng Chen
ICFP 2014: Using Formal Methods to Enable More Secure Vehicles: Kathleen Fisher
ICFP 2014: SML# in Industry: A Practical ERP System Development (Experience Report)
ICFP 2014: Maximal Sharing in the Lambda Calculus with letrec - Clemens Grabmayer
ICFP 2014: Worker/Wrapper/Makes It/Faster - Jennifer Hackett
Haskell 2014: Embedding Effect Systems, Dominic Orchard
![Tiark Rompf - DSL Embedding in Scala [1/2]](https://img.youtube.com/vi/16A1yemmx-w/0.jpg)
