Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar14. ICFP 2009: Edinburgh, Scotland, UK
Graham Hutton, Andrew P. Tolmach:
Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009. ACM 2009, ISBN 978-1-60558-332-7- Guy L. Steele Jr.:
Organizing functional code for parallel execution or, foldl and foldr considered slightly harmful. 1-2
Session 1
- 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
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
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
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
Session 7
- Koen Claessen, Michal H. 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
- Curt J. Sampson:
Experience report: Haskell in the 'real world': writing a commercial application in a lazy functional lanuage. 185-190
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
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
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
maintained by 
, founded at 
, founded at 
last updated on 2019-02-21 20:43 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
