ICFP 2009

35 papers

1. A concurrent ML library in concurrent Haskell · Avik Chaudhuri
2. A functional I/O system or, fun for freshman kids · Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
3. A theory of typed coercions and its applications · Nikhil Swamy, Michael W. Hicks, Gavin M. Bierman
4. A universe of binding and computation · Daniel R. Licata, Robert Harper
5. Attribute grammars fly first-class: how to do aspect oriented programming in Haskell · Marcos Viera, S. Doaitse Swierstra, Wouter Swierstra
6. Automatically RESTful web applications: marking modular serializable continuations · Jay A. McCarthy
7. Beautiful differentiation · Conal M. Elliott
8. Biorthogonality, step-indexing and compiler correctness · Nick Benton, Chung-Kil Hur
9. Causal commutative arrows and their optimization · Hai Liu, Eric Cheng, Paul Hudak
10. Commutative monads, diagrams and knots · Dan P. Piponi
11. Complete and decidable type inference for GADTs · Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis
12. Control-flow analysis of function calls and returns by abstract interpretation · Jan Midtgaard, Thomas P. Jensen
13. Effective interactive proofs for higher-order imperative programs · Adam Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky
14. Experience report: Haskell in the 'real world': writing a commercial application in a lazy functional lanuage · Curt J. Sampson
15. Experience report: OCaml for an industrial-strength static analysis framework · Pascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Géraud Canet, Loïc Correnson + 3 more
16. Experience report: embedded, parallel computer-vision with a functional DSL · Ryan Newton, Teresa Ko
17. Experience report: ocsigen, a web programming framework · Vincent Balat, Jérôme Vouillon, Boris Yakobowski
18. Experience report: seL4: formally verifying a high-performance microkernel · Gerwin Klein, Philip Derrin, Kevin Elphinstone
19. Experience report: using objective caml to develop safety-critical embedded tools in a certification framework · Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang + 2 more
20. Finding race conditions in Erlang with QuickCheck and PULSE · Koen Claessen, Michal H. Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts + 1 more
21. Free theorems involving type constructor classes: functional pearl · Janis Voigtländer
22. Functional pearl: la tour d'Hanoï · Ralf Hinze
23. Generic programming with fixed points for mutually recursive datatypes · Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring
24. Identifying query incompatibilities with evolving XML schemas · Pierre Genevès, Nabil Layaïda, Vincent Quint
25. Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform · Tiark Rompf, Ingo Maier, Martin Odersky
26. Lambda, the ultimate TA: using a proof assistant to teach programming language foundations · Benjamin C. Pierce
27. Non-parametric parametricity · Georg Neis, Derek Dreyer, Andreas Rossberg
28. OXenstored: an efficient hierarchical and transactional database using functional programming with reference cell comparisons · Thomas Gazagnaire, Vincent Hanquez
29. Organizing functional code for parallel execution or, foldl and foldr considered slightly harmful · Guy L. Steele Jr.
30. Parallel concurrent ML · John H. Reppy, Claudio V. Russo, Yingqi Xiao
31. Partial memoization of concurrency and communication · Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan
32. Purely functional lazy non-deterministic programming · Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan
33. Runtime support for multicore Haskell · Simon Marlow, Simon L. Peyton Jones, Satnam Singh
34. Safe functional reactive programming through dependent types · Neil Sculthorpe, Henrik Nilsson
35. Scribble: closing the book on ad hoc documentation tools · Matthew Flatt, Eli Barzilay, Robert Bruce Findler