14. ICFP 2009:
Edinburgh, Scotland, UK Graham Hutton , Andrew P. Tolmach (Eds.):
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
export record as
dblp key:
Guy L. Steele Jr. :
Organizing functional code for parallel execution or, foldl and foldr considered slightly harmful.
1-2
Session 1
export record as
dblp key:
Ralf Hinze :
Functional pearl: la tour d'Hanoï.
3-10
export record as
dblp key:
Session 2
export record as
dblp key:
export record as
dblp key:
Session 3
export record as
dblp key:
export record as
dblp key:
Ryan Newton ,
Teresa Ko :
Experience report: embedded, parallel computer-vision with a functional DSL.
59-64
export record as
dblp key:
Session 4
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 5
export record as
dblp key:
export record as
dblp key:
Benjamin C. Pierce :
Lambda, the ultimate TA: using a proof assistant to teach programming language foundations.
121-122
Session 6
export record as
dblp key:
export record as
dblp key:
Session 7
export record as
dblp key:
conf/icfp/ClaessenPSHSAW09
export record as
dblp key:
Session 8
export record as
dblp key:
Janis Voigtländer :
Free theorems involving type constructor classes: functional pearl.
173-184
export record as
dblp key:
Curt J. Sampson :
Experience report: Haskell in the 'real world': writing a commercial application in a lazy functional lanuage.
185-190
export record as
dblp key:
Session 9
export record as
dblp key:
Thomas Gazagnaire ,
Vincent Hanquez :
OXenstored: an efficient hierarchical and transactional database using functional programming with reference cell comparisons.
203-214
export record as
dblp key:
conf/icfp/PaganoAMCCWMC09
export record as
dblp key:
export record as
dblp key:
Session 11
export record as
dblp key:
export record as
dblp key:
Session 12
export record as
dblp key:
export record as
dblp key:
Avik Chaudhuri :
A concurrent ML library in concurrent Haskell.
269-280
Session 13
export record as
dblp key:
export record as
dblp key:
Session 14
export record as
dblp key:
Jay A. McCarthy :
Automatically RESTful web applications: marking modular serializable continuations.
299-310
export record as
dblp key:
export record as
dblp key:
Session 15
export record as
dblp key:
export record as
dblp key:
conf/icfp/SchrijversJSV09