default search action
Search dblp for Publications
export results for "toc:db/conf/icfp/icfp2009.bht:"
@inproceedings{DBLP:conf/icfp/BalatVY09, author = {Vincent Balat and J{\'{e}}r{\^{o}}me Vouillon and Boris Yakobowski}, editor = {Graham Hutton and Andrew P. Tolmach}, title = {Experience report: ocsigen, a web programming framework}, booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, pages = {311--316}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550.1596595}, doi = {10.1145/1596550.1596595}, timestamp = {Fri, 25 Jun 2021 14:48:54 +0200}, biburl = {https://dblp.org/rec/conf/icfp/BalatVY09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/BentonH09, author = {Nick Benton and Chung{-}Kil Hur}, editor = {Graham Hutton and Andrew P. Tolmach}, title = {Biorthogonality, step-indexing and compiler correctness}, booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, pages = {97--108}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550.1596567}, doi = {10.1145/1596550.1596567}, timestamp = {Sat, 21 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/BentonH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/Chaudhuri09, author = {Avik Chaudhuri}, editor = {Graham Hutton and Andrew P. Tolmach}, title = {A concurrent {ML} library in concurrent Haskell}, booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, pages = {269--280}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550.1596589}, doi = {10.1145/1596550.1596589}, timestamp = {Fri, 25 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/Chaudhuri09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/ChlipalaMMSW09, author = {Adam Chlipala and J. Gregory Malecha and Greg Morrisett and Avraham Shinnar and Ryan Wisnesky}, editor = {Graham Hutton and Andrew P. Tolmach}, title = {Effective interactive proofs for higher-order imperative programs}, booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, pages = {79--90}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550.1596565}, doi = {10.1145/1596550.1596565}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/ChlipalaMMSW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/ClaessenPSHSAW09, author = {Koen Claessen and Michal H. Palka and Nicholas Smallbone and John Hughes and Hans Svensson and Thomas Arts and Ulf T. Wiger}, editor = {Graham Hutton and Andrew P. Tolmach}, title = {Finding race conditions in Erlang with QuickCheck and {PULSE}}, booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, pages = {149--160}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550.1596574}, doi = {10.1145/1596550.1596574}, timestamp = {Wed, 02 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icfp/ClaessenPSHSAW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/CuoqSBBCCMPP09, author = {Pascal Cuoq and Julien Signoles and Patrick Baudin and Richard Bonichon and G{\'{e}}raud Canet and Lo{\"{\i}}c Correnson and Benjamin Monate and Virgile Prevosto and Armand Puccetti}, editor = {Graham Hutton and Andrew P. Tolmach}, title = {Experience report: OCaml for an industrial-strength static analysis framework}, booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, pages = {281--286}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550.1596591}, doi = {10.1145/1596550.1596591}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/CuoqSBBCCMPP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/Elliott09, author = {Conal M. Elliott}, editor = {Graham Hutton and Andrew P. Tolmach}, title = {Beautiful differentiation}, booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, pages = {191--202}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550.1596579}, doi = {10.1145/1596550.1596579}, timestamp = {Fri, 25 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/Elliott09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/FelleisenFFK09, author = {Matthias Felleisen and Robert Bruce Findler and Matthew Flatt and Shriram Krishnamurthi}, editor = {Graham Hutton and Andrew P. Tolmach}, title = {A functional {I/O} system or, fun for freshman kids}, booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, pages = {47--58}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550.1596561}, doi = {10.1145/1596550.1596561}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icfp/FelleisenFFK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/FischerKS09, author = {Sebastian Fischer and Oleg Kiselyov and Chung{-}chieh Shan}, editor = {Graham Hutton and Andrew P. Tolmach}, title = {Purely functional lazy non-deterministic programming}, booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, pages = {11--22}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550.1596556}, doi = {10.1145/1596550.1596556}, timestamp = {Thu, 26 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icfp/FischerKS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/FlattBF09, author = {Matthew Flatt and Eli Barzilay and Robert Bruce Findler}, editor = {Graham Hutton and Andrew P. Tolmach}, title = {Scribble: closing the book on ad hoc documentation tools}, booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, pages = {109--120}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550.1596569}, doi = {10.1145/1596550.1596569}, timestamp = {Fri, 25 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/FlattBF09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/GazagnaireH09, author = {Thomas Gazagnaire and Vincent Hanquez}, editor = {Graham Hutton and Andrew P. Tolmach}, title = {OXenstored: an efficient hierarchical and transactional database using functional programming with reference cell comparisons}, booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, pages = {203--214}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550.1596581}, doi = {10.1145/1596550.1596581}, timestamp = {Fri, 25 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/GazagnaireH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/GenevesLQ09, author = {Pierre Genev{\`{e}}s and Nabil Laya{\"{\i}}da and Vincent Quint}, editor = {Graham Hutton and Andrew P. Tolmach}, title = {Identifying query incompatibilities with evolving {XML} schemas}, booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, pages = {221--230}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550.1596583}, doi = {10.1145/1596550.1596583}, timestamp = {Fri, 25 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/GenevesLQ09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/Hinze09, author = {Ralf Hinze}, editor = {Graham Hutton and Andrew P. Tolmach}, title = {Functional pearl: la tour d'Hano{\"{\i}}}, booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, pages = {3--10}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550.1596555}, doi = {10.1145/1596550.1596555}, timestamp = {Fri, 25 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/Hinze09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/KleinDE09, author = {Gerwin Klein and Philip Derrin and Kevin Elphinstone}, editor = {Graham Hutton and Andrew P. Tolmach}, title = {Experience report: seL4: formally verifying a high-performance microkernel}, booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, pages = {91--96}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550.1596566}, doi = {10.1145/1596550.1596566}, timestamp = {Fri, 25 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/KleinDE09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/LicataH09, author = {Daniel R. Licata and Robert Harper}, editor = {Graham Hutton and Andrew P. Tolmach}, title = {A universe of binding and computation}, booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, pages = {123--134}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550.1596571}, doi = {10.1145/1596550.1596571}, timestamp = {Fri, 25 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/LicataH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/LiuCH09, author = {Hai Liu and Eric Cheng and Paul Hudak}, editor = {Graham Hutton and Andrew P. Tolmach}, title = {Causal commutative arrows and their optimization}, booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, pages = {35--46}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550.1596559}, doi = {10.1145/1596550.1596559}, timestamp = {Mon, 16 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/LiuCH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/MarlowJS09, author = {Simon Marlow and Simon L. Peyton Jones and Satnam Singh}, editor = {Graham Hutton and Andrew P. Tolmach}, title = {Runtime support for multicore Haskell}, booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, pages = {65--78}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550.1596563}, doi = {10.1145/1596550.1596563}, timestamp = {Fri, 25 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/MarlowJS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/McCarthy09, author = {Jay A. McCarthy}, editor = {Graham Hutton and Andrew P. Tolmach}, title = {Automatically RESTful web applications: marking modular serializable continuations}, booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, pages = {299--310}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550.1596594}, doi = {10.1145/1596550.1596594}, timestamp = {Fri, 25 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/McCarthy09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/MidtgaardJ09, author = {Jan Midtgaard and Thomas P. Jensen}, editor = {Graham Hutton and Andrew P. Tolmach}, title = {Control-flow analysis of function calls and returns by abstract interpretation}, booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, pages = {287--298}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550.1596592}, doi = {10.1145/1596550.1596592}, timestamp = {Fri, 25 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/MidtgaardJ09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/NeisDR09, author = {Georg Neis and Derek Dreyer and Andreas Rossberg}, editor = {Graham Hutton and Andrew P. Tolmach}, title = {Non-parametric parametricity}, booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, pages = {135--148}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550.1596572}, doi = {10.1145/1596550.1596572}, timestamp = {Fri, 25 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/NeisDR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/NewtonK09, author = {Ryan Newton and Teresa Ko}, editor = {Graham Hutton and Andrew P. Tolmach}, title = {Experience report: embedded, parallel computer-vision with a functional {DSL}}, booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, pages = {59--64}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550.1596562}, doi = {10.1145/1596550.1596562}, timestamp = {Fri, 25 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/NewtonK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/PaganoAMCCWMC09, author = {Bruno Pagano and Olivier Andrieu and Thomas Moniot and Benjamin Canou and Emmanuel Chailloux and Philippe Wang and Pascal Manoury and Jean{-}Louis Cola{\c{c}}o}, editor = {Graham Hutton and Andrew P. Tolmach}, title = {Experience report: using objective caml to develop safety-critical embedded tools in a certification framework}, booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, pages = {215--220}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550.1596582}, doi = {10.1145/1596550.1596582}, timestamp = {Fri, 25 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/PaganoAMCCWMC09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/Pierce09, author = {Benjamin C. Pierce}, editor = {Graham Hutton and Andrew P. Tolmach}, title = {Lambda, the ultimate {TA:} using a proof assistant to teach programming language foundations}, booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, pages = {121--122}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550.1596552}, doi = {10.1145/1596550.1596552}, timestamp = {Fri, 25 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/Pierce09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/Piponi09, author = {Dan P. Piponi}, editor = {Graham Hutton and Andrew P. Tolmach}, title = {Commutative monads, diagrams and knots}, booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, pages = {231--232}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550.1596553}, doi = {10.1145/1596550.1596553}, timestamp = {Fri, 25 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/Piponi09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/ReppyRX09, author = {John H. Reppy and Claudio V. Russo and Yingqi Xiao}, editor = {Graham Hutton and Andrew P. Tolmach}, title = {Parallel concurrent {ML}}, booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, pages = {257--268}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550.1596588}, doi = {10.1145/1596550.1596588}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icfp/ReppyRX09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/RompfMO09, author = {Tiark Rompf and Ingo Maier and Martin Odersky}, editor = {Graham Hutton and Andrew P. Tolmach}, title = {Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform}, booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, pages = {317--328}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550.1596596}, doi = {10.1145/1596550.1596596}, timestamp = {Fri, 25 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/RompfMO09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/Sampson09, author = {Curt J. Sampson}, editor = {Graham Hutton and Andrew P. Tolmach}, title = {Experience report: Haskell in the 'real world': writing a commercial application in a lazy functional lanuage}, booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, pages = {185--190}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550.1596578}, doi = {10.1145/1596550.1596578}, timestamp = {Fri, 25 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/Sampson09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/SchrijversJSV09, author = {Tom Schrijvers and Simon L. Peyton Jones and Martin Sulzmann and Dimitrios Vytiniotis}, editor = {Graham Hutton and Andrew P. Tolmach}, title = {Complete and decidable type inference for GADTs}, booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, pages = {341--352}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550.1596599}, doi = {10.1145/1596550.1596599}, timestamp = {Fri, 25 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/SchrijversJSV09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/SculthorpeN09, author = {Neil Sculthorpe and Henrik Nilsson}, editor = {Graham Hutton and Andrew P. Tolmach}, title = {Safe functional reactive programming through dependent types}, booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, pages = {23--34}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550.1596558}, doi = {10.1145/1596550.1596558}, timestamp = {Fri, 25 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/SculthorpeN09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/Steele09, author = {Guy L. Steele Jr.}, editor = {Graham Hutton and Andrew P. Tolmach}, title = {Organizing functional code for parallel execution or, foldl and foldr considered slightly harmful}, booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, pages = {1--2}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550.1596551}, doi = {10.1145/1596550.1596551}, timestamp = {Fri, 25 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/Steele09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/SwamyHB09, author = {Nikhil Swamy and Michael W. Hicks and Gavin M. Bierman}, editor = {Graham Hutton and Andrew P. Tolmach}, title = {A theory of typed coercions and its applications}, booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, pages = {329--340}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550.1596598}, doi = {10.1145/1596550.1596598}, timestamp = {Fri, 25 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/SwamyHB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/VieraSS09, author = {Marcos Viera and S. Doaitse Swierstra and Wouter Swierstra}, editor = {Graham Hutton and Andrew P. Tolmach}, title = {Attribute grammars fly first-class: how to do aspect oriented programming in Haskell}, booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, pages = {245--256}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550.1596586}, doi = {10.1145/1596550.1596586}, timestamp = {Fri, 25 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/VieraSS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/Voigtlander09, author = {Janis Voigtl{\"{a}}nder}, editor = {Graham Hutton and Andrew P. Tolmach}, title = {Free theorems involving type constructor classes: functional pearl}, booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, pages = {173--184}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550.1596577}, doi = {10.1145/1596550.1596577}, timestamp = {Fri, 25 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/Voigtlander09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/YakushevHLJ09, author = {Alexey Rodriguez Yakushev and Stefan Holdermans and Andres L{\"{o}}h and Johan Jeuring}, editor = {Graham Hutton and Andrew P. Tolmach}, title = {Generic programming with fixed points for mutually recursive datatypes}, booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, pages = {233--244}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550.1596585}, doi = {10.1145/1596550.1596585}, timestamp = {Fri, 25 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/YakushevHLJ09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/ZiarekSJ09, author = {Lukasz Ziarek and K. C. Sivaramakrishnan and Suresh Jagannathan}, editor = {Graham Hutton and Andrew P. Tolmach}, title = {Partial memoization of concurrency and communication}, booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, pages = {161--172}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550.1596575}, doi = {10.1145/1596550.1596575}, timestamp = {Fri, 25 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/ZiarekSJ09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icfp/2009, editor = {Graham Hutton and Andrew P. Tolmach}, title = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550}, doi = {10.1145/1596550}, isbn = {978-1-60558-332-7}, timestamp = {Fri, 25 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/2009.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.