ICFP '14- Proceedings of the 19th ACM SIGPLAN international conference on Functional programming

Full Citation in the ACM Digital Library

SESSION: Keynote 1

Using formal methods to enable more secure vehicles: DARPA's HACMS program

• Kathleen Fisher

SESSION: Domain specific languages I

Building embedded systems with embedded DSLs

• Patrick C. Hickey
• Lee Pike
• Trevor Elliott
• James Bielman
• John Launchbury

Concurrent NetCore: from policies to pipelines

• Cole Schlesinger
• Michael Greenberg
• David Walker

SESSION: Static analysis

SeLINQ: tracking information across application-database boundaries

• Daniel Schoepe
• Daniel Hedin
• Andrei Sabelfeld

Type-based parametric analysis of program families

• Sheng Chen
• Martin Erwig

SESSION: Binding structure

Romeo: a system for more flexible binding-safe programming

• Paul Stansifer
• Mitchell Wand

Maximal sharing in the Lambda calculus with letrec

• Clemens Grabmayer
• Jan Rochel

SESSION: Program optimisation

Practical and effective higher-order optimizations

• Lars Bergstrom
• Matthew Fluet
• Matthew Le
• John Reppy
• Nora Sandler

Worker/wrapper/makes it/faster

• Jennifer Hackett
• Graham Hutton

SESSION: Context dependence

Compositional semantics for composable continuations: from abortive to delimited control

• Paul Downen
• Zena M. Ariola

Coeffects: a calculus of context-dependent computation

• Tomas Petricek
• Dominic Orchard
• Alan Mycroft

SESSION: Keynote 2

Behavioral software contracts

• Robert Bruce Findler

SESSION: Contracts & scheme

Soft contract verification

• Phúc C. Nguyen
• Sam Tobin-Hochstadt
• David Van Horn

On teaching *how to design programs*: observations from a newcomer

• Norman Ramsey

SESSION: Tools used in anger

SML# in industry: a practical ERP system development

• Atsushi Ohori
• Katsuhiro Ueno
• Kazunori Hoshi
• Shinji Nozaki
• Takashi Sato
• Tasuku Makabe
• Yuki Ito

Lem: reusable engineering of real-world semantics

• Dominic P. Mulligan
• Scott Owens
• Kathryn E. Gray
• Tom Ridge
• Peter Sewell

SESSION: Type systems

Safe zero-cost coercions for Haskell

• Joachim Breitner
• Richard A. Eisenberg
• Simon Peyton Jones
• Stephanie Weirich

Hindley-milner elaboration in applicative style: functional pearl

• François Pottier

SESSION: Incremental computing

Settable and non-interfering signal functions for FRP: how a first-order switch is more than enough

• Daniel Winograd-Cort
• Paul Hudak

Functional programming for dynamic and large data with self-adjusting computation

• Yan Chen
• Umut A. Acar
• Kanat Tangwongsan

SESSION: Keynote 3

Depending on types

• Stephanie Weirich

SESSION: Homotopy type theory

Homotopical patch theory

• Carlo Angiuli
• Edward Morehouse
• Daniel R. Licata
• Robert Harper

Pattern matching without K

• Jesper Cockx
• Dominique Devriese
• Frank Piessens

SESSION: Abstract interpretation

Refinement types for Haskell

• Niki Vazou
• Eric L. Seidel
• Ranjit Jhala
• Dimitrios Vytiniotis
• Simon Peyton-Jones

A theory of gradual effect systems

• Felipe Bañados Schwerter
• Ronald Garcia
• Éric Tanter

SESSION: Dependent types

How to keep your neighbours in order

• Conor Thomas McBride

A relational framework for higher-order shape analysis

• Gowtham Kaki
• Suresh Jagannathan

SESSION: Domain specific languages II

There is no fork: an abstraction for efficient, concurrent, and concise data access

• Simon Marlow
• Louis Brandy
• Jonathan Coens
• Jon Purdy

Folding domain-specific languages: deep and shallow embeddings (functional Pearl)

• Jeremy Gibbons
• Nicolas Wu

SESSION: Abstract machines

Krivine nets: a semantic foundation for distributed execution

• Olle Fredriksson
• Dan R. Ghica

Distilling abstract machines

• Beniamino Accattoli
• Pablo Barenbaum
• Damiano Mazza