Accepted papers

On Teaching *How to Design Programs*: Observations from a Newcomer
Norman Ramsey
Folding Domain-Specific Languages: Deep and Shallow Embeddings
Jeremy Gibbons and Nicolas Wu
Pattern matching without K
Jesper Cockx, Dominique Devriese and Frank Piessens
Settable and Non-Interfering Signal Functions for FRP
Daniel Winograd-Cort and Paul Hudak
Safe Zero-cost Coercions for Haskell
Joachim Breitner, Richard A. Eisenberg, Simon Peyton Jones and Stephanie Weirich
Worker/Wrapper/Makes It/Faster
Jennifer Hackett and Graham Hutton
Lem: reusable engineering of real-world semantics
Dominic P. Mulligan, Scott Owens, Kathryn E. Gray, Tom Ridge and Peter Sewell
There is no Fork: an Abstraction for Efficient, Concurrent, and Concise Data Access
Simon Marlow, Louis Brandy, Jonathan Coens and Jon Purdy
Hindley-Milner elaboration in applicative style
Francois Pottier
Building Embedded Systems with Embedded DSLs
Patrick Hickey, Lee Pike, Trevor Elliott, James Bielman and John Launchbury
Compositional Semantics for Composable Continuations: From Abortive to Delimited Control
Paul Downen and Zena Ariola
Maximal Sharing in the Lambda Calculus with letrec
Clemens Grabmayer and Jan Rochel
A Theory of Gradual Effect Systems
Felipe Bañados Schwerter, Ronald Garcia and Éric Tanter
Functional Programming for Dynamic and Large Data with Self-Adjusting Computation
Yan Chen, Umut A. Acar and Kanat Tangwongsan
SeLINQ: Tracking Information Across Application-Database Boundaries
Daniel Schoepe, Daniel Hedin and Andrei Sabelfeld
Krivine Nets
Olle Fredriksson and Dan R. Ghica
Practical and Effective Higher-Order Optimizations
Lars Bergstrom, Matthew Fluet, John Reppy, Nora Sandler and Matthew Le
Distilling Abstract Machines
Beniamino Accattoli, Pablo Barenbaum and Damiano Mazza
Type-Based Parametric Analysis of Program Families
Sheng Chen and Martin Erwig
Soft Contract Verification
Phuc Nguyen, Sam Tobin-Hochstadt and David Van Horn
Concurrent NetCore: From Policies to Pipelines
Cole Schlesinger, Michael Greenberg and David Walker
Homotopical Patch Theory
Carlo Angiuli, Ed Morehouse, Daniel Licata and Robert Harper
A Relational Framework for Higher-Order Shape Analysis
Gowtham Kaki and Suresh Jagannathan
Coeffects: A calculus of context-dependent computation
Tomas Petricek, Dominic Orchard and Alan Mycroft
Refinement Types For Haskell
Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis and Simon Peyton-Jones
Romeo: a system for more flexible binding-safe programming
Paul Stansifer and Mitchell Wand
How to Keep Your Neighbours in Order
Conor McBride
SML# in Industry: A Practical ERP System Development
Atsushi Ohori, Katsuhiro Ueno, Kazunori Hoshi, Shinji Nozaki, Takashi Sato, Tasuku Makabe and Yuki Ito