default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th 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
- 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 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
- 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-04-23 22:37 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
