default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/icfp/icfp2007.bht:"
download as .bib file
@inproceedings{DBLP:conf/icfp/BeshersFS07,
author = {Clifford Beshers and
David Fox and
Jeremy Shaw},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Experience report: using functional programming to manage a linux
distribution},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {213--218},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291184},
doi = {10.1145/1291151.1291184},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/BeshersFS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BrasselHFHV07,
author = {Bernd Bra{\ss}el and
Michael Hanus and
Sebastian Fischer and
Frank Huch and
Germ{\'{a}}n Vidal},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Lazy call-by-value evaluation},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {265--276},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291193},
doi = {10.1145/1291151.1291193},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/BrasselHFHV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/CooperM07,
author = {Jonathan Cooper and
Steve McKeever},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Experience report: a Haskell interpreter for cellML},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {247--250},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291190},
doi = {10.1145/1291151.1291190},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/CooperM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/CouttsLS07,
author = {Duncan Coutts and
Roman Leshchinskiy and
Don Stewart},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Stream fusion: from lists to streams to nothing at all},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {315--326},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291199},
doi = {10.1145/1291151.1291199},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/CouttsLS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/DanvyS07,
author = {Olivier Danvy and
J. Michael Spivey},
editor = {Ralf Hinze and
Norman Ramsey},
title = {On Barron and Strachey's cartesian product function},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {41--46},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291161},
doi = {10.1145/1291151.1291161},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/DanvyS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Dreyer07,
author = {Derek Dreyer},
editor = {Ralf Hinze and
Norman Ramsey},
title = {A type system for recursive modules},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {289--302},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291196},
doi = {10.1145/1291151.1291196},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Dreyer07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Elliott07,
author = {Conal Elliott},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Tangible functional programming},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {59--70},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291163},
doi = {10.1145/1291151.1291163},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Elliott07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/EnnalsG07,
author = {Robert Ennals and
David Gay},
editor = {Ralf Hinze and
Norman Ramsey},
title = {User-friendly functional programming for web mashups},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {223--234},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291187},
doi = {10.1145/1291151.1291187},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/EnnalsG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FilinskiS07,
author = {Andrzej Filinski and
Kristian St{\o}vring},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Inductive reasoning about effectful data types},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {97--110},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291168},
doi = {10.1145/1291151.1291168},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/FilinskiS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FlattYFF07,
author = {Matthew Flatt and
Gang Yu and
Robert Bruce Findler and
Matthias Felleisen},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Adding delimited and composable control to a production programming
environment},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {165--176},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291178},
doi = {10.1145/1291151.1291178},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/FlattYFF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FredlundS07,
author = {Lars{-}{\AA}ke Fredlund and
Hans Svensson},
editor = {Ralf Hinze and
Norman Ramsey},
title = {McErlang: a model checker for a distributed functional programming
language},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {125--136},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291171},
doi = {10.1145/1291151.1291171},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/FredlundS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Frenzel07,
author = {Leif Frenzel},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Experience report: building an eclipse-based {IDE} for Haskell},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {220--222},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291186},
doi = {10.1145/1291151.1291186},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Frenzel07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/GhuloumD07,
author = {Abdulaziz Ghuloum and
R. Kent Dybvig},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Implicit phasing for {R6RS} libraries},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {303--314},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291197},
doi = {10.1145/1291151.1291197},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/GhuloumD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HageHM07,
author = {Jurriaan Hage and
Stefan Holdermans and
Arie Middelkoop},
editor = {Ralf Hinze and
Norman Ramsey},
title = {A generic usage analysis with subeffect qualifiers},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {235--246},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291189},
doi = {10.1145/1291151.1291189},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/HageHM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HarrisS07,
author = {Tim Harris and
Satnam Singh},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Feedback directed implicit parallelism},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {251--264},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291192},
doi = {10.1145/1291151.1291192},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/HarrisS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Herman07,
author = {David Herman},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Functional pearl: the great escape or, how to jump the border without
getting caught},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {157--164},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291177},
doi = {10.1145/1291151.1291177},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Herman07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HornM07,
author = {David Van Horn and
Harry G. Mairson},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Relating complexity and precision in control flow analysis},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {85--96},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291166},
doi = {10.1145/1291151.1291166},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/HornM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Jones07,
author = {Simon L. Peyton Jones},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Call-pattern specialisation for haskell programs},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {327--337},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291200},
doi = {10.1145/1291151.1291200},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Jones07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Kennedy07,
author = {Andrew Kennedy},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Compiling with continuations, continued},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {177--190},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291179},
doi = {10.1145/1291151.1291179},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Kennedy07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Leijen07,
author = {Daan Leijen},
editor = {Ralf Hinze and
Norman Ramsey},
title = {A type directed translation of {MLF} to system {F}},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {111--122},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291169},
doi = {10.1145/1291151.1291169},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Leijen07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Lloyd07,
author = {John W. Lloyd},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Declarative programming for artificial intelligence applications},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {123--124},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291152},
doi = {10.1145/1291151.1291152},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Lloyd07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MarlowYJ07,
author = {Simon Marlow and
Alexey Rodriguez Yakushev and
Simon L. Peyton Jones},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Faster laziness using dynamic pointer tagging},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {277--288},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291194},
doi = {10.1145/1291151.1291194},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/MarlowYJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MatsudaHNHT07,
author = {Kazutaka Matsuda and
Zhenjiang Hu and
Keisuke Nakano and
Makoto Hamana and
Masato Takeichi},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Bidirectionalization transformation based on automatic derivation
of view complement functions},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {47--58},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291162},
doi = {10.1145/1291151.1291162},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/MatsudaHNHT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/NystromTK07,
author = {Jan Henry Nystr{\"{o}}m and
Philip W. Trinder and
David J. King},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Evaluating high-level distributed language constructs},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {203--212},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291182},
doi = {10.1145/1291151.1291182},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/NystromTK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Park07,
author = {Sungwoo Park},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Type-safe higher-order channels in ML-like languages},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {191--202},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291181},
doi = {10.1145/1291151.1291181},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Park07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Pfenning07,
author = {Frank Pfenning},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Subtyping and intersection types revisited},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {219},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291153},
doi = {10.1145/1291151.1291153},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Pfenning07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/PlasmeijerAK07,
author = {Rinus Plasmeijer and
Peter Achten and
Pieter W. M. Koopman},
editor = {Ralf Hinze and
Norman Ramsey},
title = {iTasks: executable specifications of interactive work flow systems
for the web},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {141--152},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291174},
doi = {10.1145/1291151.1291174},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/PlasmeijerAK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Sereni07,
author = {Damien Sereni},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Termination analysis and call graph construction for higher-order
functional programs},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {71--84},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291165},
doi = {10.1145/1291151.1291165},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Sereni07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SewellNOPRSS07,
author = {Peter Sewell and
Francesco Zappa Nardelli and
Scott Owens and
Gilles Peskine and
Tom Ridge and
Susmit Sarkar and
Rok Strnisa},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Ott: effective tool support for the working semanticist},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {1--12},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291155},
doi = {10.1145/1291151.1291155},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/SewellNOPRSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SimsD07,
author = {Steve Sims and
Daniel C. DuVarney},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Experience report: the reactis validation tool},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {137--140},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291172},
doi = {10.1145/1291151.1291172},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/SimsD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Sozeau07,
author = {Matthieu Sozeau},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Program-ing finger trees in Coq},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {13--24},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291156},
doi = {10.1145/1291151.1291156},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Sozeau07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SymeNM07,
author = {Don Syme and
Gregory Neverov and
James Margetson},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Extensible pattern matching via a lightweight language extension},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {29--40},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291159},
doi = {10.1145/1291151.1291159},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/SymeNM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Wazny07,
author = {Jeremy Wazny},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Experience report: functional programming in c-rules},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {25--28},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291158},
doi = {10.1145/1291151.1291158},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Wazny07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/WelshG07,
author = {Noel Welsh and
David Gurnell},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Experience report: scheme in commercial web application development},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {153--156},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291175},
doi = {10.1145/1291151.1291175},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/WelshG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2007,
editor = {Ralf Hinze and
Norman Ramsey},
title = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151},
doi = {10.1145/1291151},
isbn = {978-1-59593-815-2},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/2007.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.
retrieved on 2024-10-13 16:38 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:
