ICFP is the International Conference on Functional Programming. The 2013 edition will take place in Boston, from September 25 to September 27.

The list of accepted papers was published here. The present page tries to gather preprint links and complementary information; please do not hesitate to submit issues or pull requests. Patch authors: please pay attention to the two non-erasable whitespaces required to add a line break after each link.

(See here for a similar page for ICFP'12)

• "Wellfounded Recursion with Copatterns: A Unified Approach to Termination and Productivity" 
  (paper) (long version),
  by Andreas Abel and Brigitte Pientka

• "Productive Coprogramming with Guarded Recursion" 
  (paper) (webpage),
  by Robert Atkey and Conor McBride

• "Using Circular Programs for Higher-Order Syntax [Functional Pearl]" 
  (paper),
  by Emil Axelsson and Koen Claessen

• "Weak Optimality, and the Meaning of Sharing" 
  (no preprint found),
  by Thibaut Balabonski

• "Efficient Divide-and-Conquer Parsing of Practical Context-Free Languages" 
  (paper),
  by Jean-Philippe Bernardy and Koen Claessen

• "Type-Theory In Color" 
  (paper),
  by Jean-Philippe Bernardy and Guilhem Moulin

• "Programming and Reasoning with Algebraic Effects and Dependent Types" 
  (paper) (webpage),
  by Edwin Brady

• "C-SHORe: A Collapsible Approach to Verifying Higher-Order Programs" 
  (long version),
  by Christopher Broadbent, Arnaud Carayol, Matthew Hague and Olivier Serre

• "A Practical Theory of Language-Integrated Query" 
  (paper) (webpage),
  by James Cheney, Sam Lindley and Philip Wadler

• "The Bedrock Structured Programming System: Combining Generative Metaprogramming and Hoare Logic in an Extensible Program Verifier" 
  (no preprint found) (webpage),
  by Adam Chlipala

• "Modular Monadic Meta-Theory" 
  (paper) (webpage),
  by Benjamin Delaware, Steven Keuchel, Tom Schrijvers and Bruno Oliveira

• "Hoare-Style Reasoning with (Algebraic) Continuations" 
  (paper) (webpage),
  by Germán Andrés Delbianco and Aleksandar Nanevski

• "Typed Syntactic Meta-programming" 
  (paper),
  by Dominique Devriese and Frank Piessens

• "Fun with Semirings" [Functional Pearl] 
  (no preprint found),
  by Stephen Dolan

• "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" 
  (paper) (lemma and proofs) (webpage),
  by Joshua Dunfield and Neelakantan R. Krishnaswami

• "Calculating Threesomes, with Blame" 
  (no preprint found),
  by Ronald Garcia

• "Structural Recursion for Querying Ordered Graphs" 
  (no preprint found),
  by Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato and Keisuke Nakano

• "Unifying Structured Recursion Schemes" 
  (paper),
  by Ralf Hinze, Nicolas Wu and Jeremy Gibbons

• "Testing Noninterference, Quickly" 
  (paper) (long version),
  by Catalin Hritcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim and Leonidas Lampropoulos

• "Functional Reactive Programming with Liveness Guarantees" 
  (paper),
  by Alan Jeffrey

• "Correctly Optimizing Abstract Abstract Machines" 
  (paper) (arxiv) (implementation and updated paper),
  by J. Ian Johnson, Nicholas Labich, Matthew Might and David Van Horn

• "Handlers in Action" 
  (paper),
  by Ohad Kammar, Sam Lindley and Nicolas Oury

• "A Nanopass Framework for Commercial Compiler Development" [Experience Report] 
  (no preprint found),
  by Andrew Keep and R Kent Dybvig

• "Higher-Order Functional Reactive Programming without Spacetime Leaks" 
  (paper) (long version) (implementation (.tgz)),
  by Neelakantan Krishnaswami

• "Modular and Automated Type-Soundness Verification for Language Extensions" 
  (paper),
  by Florian Lorenzen and Sebastian Erdweg

• "Exploiting Vector Instructions with Generalized Stream Fusion" 
  (paper),
  by Geoffrey Mainland, Roman Leshchinskiy and Simon Peyton Jones

• "Functional Geometry and the «Traité de Lutherie»" [Experience Report] 
  (no preprint found),
  by Harry Mairson

• "Optimising Purely Functional GPU Programs" 
  (paper) (webpage),
  by Trevor L. McDonell, Manuel Chakravarty, Gabriele Keller and Ben Lippmeier

• "A Short Cut to Parallelization Theorems" 
  (no preprint found),
  by Akimasa Morihata

• "Functional Programming of mHealth Applications" [Experience Report] 
  (no preprint found),
  by Christian Petersen, Matthias Gorges, Dustin Dunsmuir, Mark Ansermino and Guy Dumont

• "Automatic SIMD Vectorization for Haskell" 
  (no preprint found),
  by Leaf Petersen, Dominic Orchard and Neal Glew

• "Programming with Permissions in Mezzo" 
  (paper) (long version) (webpage),
  by Francois Pottier and Jonathan Protzenko

• "Correctness of an STM Haskell Implementation" 
  (long version),
  by Manfred Schmidt-Schauss and David Sabel

• "The Constrained-Monad Problem" 
  (paper) (webpage),
  by Neil Sculthorpe, Jan Bracker, George Giorgidze and Andy Gill

• "Applying Random Testing to a Base Type Environment" [Experience Report] 
  (paper),
  by Vincent St-Amour and Neil Toronto

• "Simple and Compositional Reification of Monadic Embedded Languages" [Functional Pearl] 
  (paper),
  by Josef Svenningsson and Bo Joel Svensson

• "Verified Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions" [Functional Pearl] 
  (paper) (webpage),
  by Dmitriy Traytel and Tobias Nipkow

• "Unifying Refinement and Hoare-Style Reasoning in a Logic for Higher-Order Concurrency" 
  (paper) (technical appendix),
  by Aaron Turon, Derek Dreyer and Lars Birkedal

• "Towards Dependently Typed Haskell: System FC with Kind Equality" 
  (paper),
  by Stephanie Weirich, Justin Hsu and Richard A. Eisenberg

• "Mtac: A Monad for Typed Tactic Programming in Coq" 
  (paper) (webpage),
  by Beta Ziliani, Derek Dreyer, Neelakantan Krishnaswami, Aleksandar Nanevski and Viktor Vafeiadis