Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/icfp/icfp2009.bht:"
download as .bib file
@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 = {Fri, 25 Jun 2021 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}
}
a service of 
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.
retrieved on 2024-05-05 07:51 CEST from data curated 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:
