14. ICFP 2009: Edinburgh, Scotland, UK

• Guy L. Steele Jr.:
  Organizing functional code for parallel execution or, foldl and foldr considered slightly harmful. 1-2
  

Session 1

• Ralf Hinze:
  Functional pearl: la tour d'Hanoï. 3-10
  
• Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan:
  Purely functional lazy non-deterministic programming. 11-22
  

Session 2

• Neil Sculthorpe, Henrik Nilsson:
  Safe functional reactive programming through dependent types. 23-34
  
• Hai Liu, Eric Cheng, Paul Hudak:
  Causal commutative arrows and their optimization. 35-46
  

Session 3

• Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi:
  A functional I/O system or, fun for freshman kids. 47-58
  
• Ryan Newton, Teresa Ko:
  Experience report: embedded, parallel computer-vision with a functional DSL. 59-64
  
• Simon Marlow, Simon L. Peyton Jones, Satnam Singh:
  Runtime support for multicore Haskell. 65-78
  

Session 4

• Adam Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky:
  Effective interactive proofs for higher-order imperative programs. 79-90
  
• Gerwin Klein, Philip Derrin, Kevin Elphinstone:
  Experience report: seL4: formally verifying a high-performance microkernel. 91-96
  
• Nick Benton, Chung-Kil Hur:
  Biorthogonality, step-indexing and compiler correctness. 97-108
  

Session 5

• Matthew Flatt, Eli Barzilay, Robert Bruce Findler:
  Scribble: closing the book on ad hoc documentation tools. 109-120
  
• Benjamin C. Pierce:
  Lambda, the ultimate TA: using a proof assistant to teach programming language foundations. 121-122
  

Session 6

• Daniel R. Licata, Robert Harper:
  A universe of binding and computation. 123-134
  
• Georg Neis, Derek Dreyer, Andreas Rossberg:
  Non-parametric parametricity. 135-148
  

Session 7

• Koen Claessen, Michal Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, Ulf T. Wiger:
  Finding race conditions in Erlang with QuickCheck and PULSE. 149-160
  
• Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan:
  Partial memoization of concurrency and communication. 161-172
  

Session 8

• Janis Voigtländer:
  Free theorems involving type constructor classes: functional pearl. 173-184
  
• Curt J. Sampson:
  Experience report: Haskell in the 'real world': writing a commercial application in a lazy functional lanuage. 185-190
  
• Conal M. Elliott:
  Beautiful differentiation. 191-202
  

Session 9

• Thomas Gazagnaire, Vincent Hanquez:
  OXenstored: an efficient hierarchical and transactional database using functional programming with reference cell comparisons. 203-214
  
• Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colaço:
  Experience report: using objective caml to develop safety-critical embedded tools in a certification framework. 215-220
  
• Pierre Genevès, Nabil Layaïda, Vincent Quint:
  Identifying query incompatibilities with evolving XML schemas. 221-230
  
• Dan P. Piponi:
  Commutative monads, diagrams and knots. 231-232
  

Session 11

• Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring:
  Generic programming with fixed points for mutually recursive datatypes. 233-244
  
• Marcos Viera, S. Doaitse Swierstra, Wouter Swierstra:
  Attribute grammars fly first-class: how to do aspect oriented programming in Haskell. 245-256
  

Session 12

• John H. Reppy, Claudio V. Russo, Yingqi Xiao:
  Parallel concurrent ML. 257-268
  
• Avik Chaudhuri:
  A concurrent ML library in concurrent Haskell. 269-280
  

Session 13

• Pascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Géraud Canet, Loïc Correnson, Benjamin Monate, Virgile Prevosto, Armand Puccetti:
  Experience report: OCaml for an industrial-strength static analysis framework. 281-286
  
• Jan Midtgaard, Thomas P. Jensen:
  Control-flow analysis of function calls and returns by abstract interpretation. 287-298
  

Session 14

• Jay A. McCarthy:
  Automatically RESTful web applications: marking modular serializable continuations. 299-310
  
• Vincent Balat, Jérôme Vouillon, Boris Yakobowski:
  Experience report: ocsigen, a web programming framework. 311-316
  
• Tiark Rompf, Ingo Maier, Martin Odersky:
  Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform. 317-328
  

Session 15

• Nikhil Swamy, Michael W. Hicks, Gavin M. Bierman:
  A theory of typed coercions and its applications. 329-340
  
• Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis:
  Complete and decidable type inference for GADTs. 341-352
  

Last update Tue Feb 14 04:01:07 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page