14. ICFP 2009:
Edinburgh, Scotland, UK
share record
short URL:
https://dblp.org/rec/conf/icfp/2009 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 share record
short URL:
https://dblp.org/rec/conf/icfp/Steele09 Guy L. Steele Jr. :
Organizing functional code for parallel execution or, foldl and foldr considered slightly harmful. 1-2
share record
short URL:
https://dblp.org/rec/conf/icfp/Hinze09 Ralf Hinze :
Functional pearl: la tour d'Hanoï. 3-10 share record
short URL:
https://dblp.org/rec/conf/icfp/FischerKS09
share record
short URL:
https://dblp.org/rec/conf/icfp/SculthorpeN09 share record
short URL:
https://dblp.org/rec/conf/icfp/LiuCH09
share record
short URL:
https://dblp.org/rec/conf/icfp/FelleisenFFK09 share record
short URL:
https://dblp.org/rec/conf/icfp/NewtonK09 Ryan Newton ,
Teresa Ko :
Experience report: embedded, parallel computer-vision with a functional DSL. 59-64 share record
short URL:
https://dblp.org/rec/conf/icfp/MarlowJS09
share record
short URL:
https://dblp.org/rec/conf/icfp/ChlipalaMMSW09 share record
short URL:
https://dblp.org/rec/conf/icfp/KleinDE09 share record
short URL:
https://dblp.org/rec/conf/icfp/BentonH09
share record
short URL:
https://dblp.org/rec/conf/icfp/FlattBF09 share record
short URL:
https://dblp.org/rec/conf/icfp/Pierce09 Benjamin C. Pierce :
Lambda, the ultimate TA: using a proof assistant to teach programming language foundations. 121-122
share record
short URL:
https://dblp.org/rec/conf/icfp/LicataH09 share record
short URL:
https://dblp.org/rec/conf/icfp/NeisDR09
export record
dblp key:
conf/icfp/ClaessenPSHSAW09 share record
short URL:
https://dblp.org/rec/conf/icfp/ClaessenPSHSAW09 share record
short URL:
https://dblp.org/rec/conf/icfp/ZiarekSJ09
share record
short URL:
https://dblp.org/rec/conf/icfp/Voigtlander09 Janis Voigtländer :
Free theorems involving type constructor classes: functional pearl. 173-184 share record
short URL:
https://dblp.org/rec/conf/icfp/Sampson09 Curt J. Sampson :
Experience report: Haskell in the 'real world': writing a commercial application in a lazy functional lanuage. 185-190 share record
short URL:
https://dblp.org/rec/conf/icfp/Elliott09
share record
short URL:
https://dblp.org/rec/conf/icfp/GazagnaireH09 Thomas Gazagnaire ,
Vincent Hanquez :
OXenstored: an efficient hierarchical and transactional database using functional programming with reference cell comparisons. 203-214 export record
dblp key:
conf/icfp/PaganoAMCCWMC09 share record
short URL:
https://dblp.org/rec/conf/icfp/PaganoAMCCWMC09 share record
short URL:
https://dblp.org/rec/conf/icfp/GenevesLQ09 share record
short URL:
https://dblp.org/rec/conf/icfp/Piponi09
share record
short URL:
https://dblp.org/rec/conf/icfp/YakushevHLJ09 share record
short URL:
https://dblp.org/rec/conf/icfp/VieraSS09
share record
short URL:
https://dblp.org/rec/conf/icfp/ReppyRX09 share record
short URL:
https://dblp.org/rec/conf/icfp/Chaudhuri09 Avik Chaudhuri :
A concurrent ML library in concurrent Haskell. 269-280
share record
short URL:
https://dblp.org/rec/conf/icfp/CuoqSBBCCMPP09 share record
short URL:
https://dblp.org/rec/conf/icfp/MidtgaardJ09
share record
short URL:
https://dblp.org/rec/conf/icfp/McCarthy09 Jay A. McCarthy :
Automatically RESTful web applications: marking modular serializable continuations. 299-310 share record
short URL:
https://dblp.org/rec/conf/icfp/BalatVY09 share record
short URL:
https://dblp.org/rec/conf/icfp/RompfMO09
share record
short URL:
https://dblp.org/rec/conf/icfp/SwamyHB09 export record
dblp key:
conf/icfp/SchrijversJSV09 share record
short URL:
https://dblp.org/rec/conf/icfp/SchrijversJSV09
maintained by
, founded at