Graham Hutton, Andrew P. Tolmach
Proceedings of the 14th International Conference on Functional Programming
ICFP, 2009.

@proceedings{ICFP-2009,
	address       = "Edinburgh, Scotland, United Kingdom",
	editor        = "Graham Hutton and Andrew P. Tolmach",
	isbn          = "978-1-60558-332-7",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 14th International Conference on Functional Programming}",
	year          = 2009,
}

Contents (35 items)

9 ×#functional
6 ×#case study
6 ×#experience
6 ×#programming
4 ×#haskell
4 ×#ml
3 ×#concurrent
3 ×#framework
3 ×#parallel
3 ×#using

ICFP-2009-Steele #execution #functional #parallel

Organizing functional code for parallel execution or, foldl and foldr considered slightly harmful (GLSJ), pp. 1–2.

ICFP-2009-Hinze #functional

Functional Pearl: La Tour D’Hanoï (RH), pp. 3–10.

ICFP-2009-FischerKS #functional #lazy evaluation #nondeterminism #programming

Purely functional lazy non-deterministic programming (SF, OK, CcS), pp. 11–22.

ICFP-2009-SculthorpeN #dependent type #functional #programming

Safe functional reactive programming through dependent types (NS, HN), pp. 23–34.

ICFP-2009-LiuCH #commutative #optimisation

Causal commutative arrows and their optimization (HL, EC, PH), pp. 35–46.

ICFP-2009-FelleisenFFK #functional

A functional I/O system or, fun for freshman kids (MF, RBF, MF, SK), pp. 47–58.

ICFP-2009-NewtonK #case study #domain-specific language #embedded #experience #functional #parallel

Experience report: embedded, parallel computer-vision with a functional DSL (RN, TK), pp. 59–64.

ICFP-2009-MarlowJS #haskell #manycore #runtime

Runtime support for multicore Haskell (SM, SLPJ, SS), pp. 65–78.

ICFP-2009-ChlipalaMMSW #effectiveness #higher-order #imperative #interactive #proving #source code

Effective interactive proofs for higher-order imperative programs (AC, JGM, GM, AS, RW), pp. 79–90.

ICFP-2009-KleinDE #case study #experience #kernel #verification

Experience report: seL4: formally verifying a high-performance microkernel (GK, PD, KE), pp. 91–96.

ICFP-2009-BentonH #compilation #correctness

Biorthogonality, step-indexing and compiler correctness (NB, CKH), pp. 97–108.

ICFP-2009-FlattBF #ad hoc #documentation #named #tool support

Scribble: closing the book on ad hoc documentation tools (MF, EB, RBF), pp. 109–120.

ICFP-2009-Pierce #education #programming language #proving #using

λ, the ultimate TA: using a proof assistant to teach programming language foundations (BCP), pp. 121–122.

ICFP-2009-LicataH

A universe of binding and computation (DRL, RH), pp. 123–134.

ICFP-2009-NeisDR #parametricity

Non-parametric parametricity (GN, DD, AR), pp. 135–148.

ICFP-2009-ClaessenPSHSAW #erlang #quickcheck

Finding race conditions in Erlang with QuickCheck and PULSE (KC, MHP, NS, JH, HS, TA, UTW), pp. 149–160.

ICFP-2009-ZiarekSJ #communication #concurrent

Partial memoization of concurrency and communication (LZ, KCS, SJ), pp. 161–172.

ICFP-2009-Voigtlander #functional #theorem

Free theorems involving type constructor classes: functional pearl (JV), pp. 173–184.

ICFP-2009-Sampson #case study #experience #functional #haskell #lazy evaluation

Experience report: Haskell in the “real world”: writing a commercial application in a lazy functional language (CJS), pp. 185–190.

ICFP-2009-Elliott #difference

Beautiful differentiation (CME), pp. 191–202.

ICFP-2009-GazagnaireH #database #functional #named #performance #programming #transaction #using

OXenstored: an efficient hierarchical and transactional database using functional programming with reference cell comparisons (TG, VH), pp. 203–214.

ICFP-2009-PaganoAMCCWMC #case study #certification #embedded #experience #framework #ml #safety #tool support #using

Experience report: using objective caml to develop safety-critical embedded tools in a certification framework (BP, OA, TM, BC, EC, PW, PM, JLC), pp. 215–220.

ICFP-2009-GenevesLQ #evolution #identification #query #xml

Identifying query incompatibilities with evolving XML schemas (PG, NL, VQ), pp. 221–230.

ICFP-2009-Piponi #commutative #diagrams #monad

Commutative monads, diagrams and knots (DPP), pp. 231–232.

ICFP-2009-YakushevHLJ #data type #fixpoint #programming #recursion

Generic programming with fixed points for mutually recursive datatypes (ARY, SH, AL, JJ), pp. 233–244.

ICFP-2009-VieraSS #aspect-oriented #attribute grammar #haskell #how #programming

Attribute grammars fly first-class: how to do aspect oriented programming in Haskell (MV, SDS, WS), pp. 245–256.

ICFP-2009-ReppyRX #concurrent #ml #parallel

Parallel concurrent ML (JHR, CVR, YX), pp. 257–268.

ICFP-2009-Chaudhuri #concurrent #haskell #library #ml

A concurrent ML library in concurrent Haskell (AC), pp. 269–280.

ICFP-2009-CuoqSBBCCMPP #case study #experience #framework #ml #static analysis

Experience report: OCaml for an industrial-strength static analysis framework (PC, JS, PB, RB, GC, LC, BM, VP, AP), pp. 281–286.

ICFP-2009-MidtgaardJ #abstract interpretation #analysis #control flow

Control-flow analysis of function calls and returns by abstract interpretation (JM, TPJ), pp. 287–298.

ICFP-2009-McCarthy #automation #composition #continuation #rest #web

Automatically RESTful web applications: marking modular serializable continuations (JAM), pp. 299–310.

ICFP-2009-BalatVY #case study #experience #framework #programming #web

Experience report: ocsigen, a web programming framework (VB, JV, BY), pp. 311–316.

ICFP-2009-RompfMO #continuation #implementation #polymorphism

Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform (TR, IM, MO), pp. 317–328.

ICFP-2009-SwamyHB #formal method

A theory of typed coercions and its applications (NS, MWH, GMB), pp. 329–340.

ICFP-2009-SchrijversJSV #data type #decidability #type inference

Complete and decidable type inference for GADTs (TS, SLPJ, MS, DV), pp. 341–352.