Search dblp for Publications

export results for "toc:db/conf/icfp/icfp2006.bht:"

 download as .bib file

@inproceedings{DBLP:conf/icfp/Abadi06,
  author       = {Mart{\'{\i}}n Abadi},
  editor       = {John H. Reppy and
                  Julia Lawall},
  title        = {Access control in a core calculus of dependency},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
                  16-21, 2006},
  pages        = {263--273},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159803.1159839},
  doi          = {10.1145/1159803.1159839},
  timestamp    = {Mon, 17 Jan 2022 15:20:18 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/Abadi06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Bird06,
  author       = {Richard S. Bird},
  editor       = {John H. Reppy and
                  Julia Lawall},
  title        = {Fifteen years of functional pearls},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
                  16-21, 2006},
  pages        = {215},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159803.1159832},
  doi          = {10.1145/1159803.1159832},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Bird06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BlumeAC06,
  author       = {Matthias Blume and
                  Umut A. Acar and
                  Wonseok Chae},
  editor       = {John H. Reppy and
                  Julia Lawall},
  title        = {Extensible programming with first-class cases},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
                  16-21, 2006},
  pages        = {239--250},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159803.1159836},
  doi          = {10.1145/1159803.1159836},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/BlumeAC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BringertR06,
  author       = {Bj{\"{o}}rn Bringert and
                  Aarne Ranta},
  editor       = {John H. Reppy and
                  Julia Lawall},
  title        = {A pattern for almost compositional functions},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
                  16-21, 2006},
  pages        = {216--226},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159803.1159834},
  doi          = {10.1145/1159803.1159834},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/BringertR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Chlipala06,
  author       = {Adam Chlipala},
  editor       = {John H. Reppy and
                  Julia Lawall},
  title        = {Modular development of certified program verifiers with a proof assistant},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
                  16-21, 2006},
  pages        = {160--171},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159803.1159825},
  doi          = {10.1145/1159803.1159825},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Chlipala06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/DenielouL06,
  author       = {Pierre{-}Malo Deni{\'{e}}lou and
                  James J. Leifer},
  editor       = {John H. Reppy and
                  Julia Lawall},
  title        = {Abstraction preservation and subtyping in distributed languages},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
                  16-21, 2006},
  pages        = {286--297},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159803.1159841},
  doi          = {10.1145/1159803.1159841},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/DenielouL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/DonnellyF06,
  author       = {Kevin Donnelly and
                  Matthew Fluet},
  editor       = {John H. Reppy and
                  Julia Lawall},
  title        = {Transactional events},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
                  16-21, 2006},
  pages        = {124--135},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159803.1159821},
  doi          = {10.1145/1159803.1159821},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/DonnellyF06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/DowseB06,
  author       = {Malcolm Dowse and
                  Andrew Butterfield},
  editor       = {John H. Reppy and
                  Julia Lawall},
  title        = {Modelling deterministic concurrent {I/O}},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
                  16-21, 2006},
  pages        = {148--159},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159803.1159823},
  doi          = {10.1145/1159803.1159823},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/DowseB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Dybvig06,
  author       = {R. Kent Dybvig},
  editor       = {John H. Reppy and
                  Julia Lawall},
  title        = {The development of Chez Scheme},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
                  16-21, 2006},
  pages        = {1--12},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159803.1159805},
  doi          = {10.1145/1159803.1159805},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Dybvig06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FisherS06,
  author       = {David Fisher and
                  Olin Shivers},
  editor       = {John H. Reppy and
                  Julia Lawall},
  title        = {Static analysis for syntax objects},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
                  16-21, 2006},
  pages        = {111--121},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159803.1159817},
  doi          = {10.1145/1159803.1159817},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/FisherS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Frisch06,
  author       = {Alain Frisch},
  editor       = {John H. Reppy and
                  Julia Lawall},
  title        = {OCaml + XDuce},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
                  16-21, 2006},
  pages        = {192--200},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159803.1159829},
  doi          = {10.1145/1159803.1159829},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Frisch06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HickeyNYK06,
  author       = {Jason Hickey and
                  Aleksey Nogin and
                  Xin Yu and
                  Alexei Kopylov},
  editor       = {John H. Reppy and
                  Julia Lawall},
  title        = {Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation
                  and reflection},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
                  16-21, 2006},
  pages        = {172--183},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159803.1159826},
  doi          = {10.1145/1159803.1159826},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/HickeyNYK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/JonesVWW06,
  author       = {Simon L. Peyton Jones and
                  Dimitrios Vytiniotis and
                  Stephanie Weirich and
                  Geoffrey Washburn},
  editor       = {John H. Reppy and
                  Julia Lawall},
  title        = {Simple unification-based type inference for GADTs},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
                  16-21, 2006},
  pages        = {50--61},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159803.1159811},
  doi          = {10.1145/1159803.1159811},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/JonesVWW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/KatsumataN06,
  author       = {Shin{-}ya Katsumata and
                  Susumu Nishimura},
  editor       = {John H. Reppy and
                  Julia Lawall},
  title        = {Algebraic fusion of functions with an accumulating parameter and its
                  improvement},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
                  16-21, 2006},
  pages        = {227--238},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159803.1159835},
  doi          = {10.1145/1159803.1159835},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/KatsumataN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/KawanakaH06,
  author       = {Shinya Kawanaka and
                  Haruo Hosoya},
  editor       = {John H. Reppy and
                  Julia Lawall},
  title        = {biXid: a bidirectional transformation language for {XML}},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
                  16-21, 2006},
  pages        = {201--214},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159803.1159830},
  doi          = {10.1145/1159803.1159830},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/KawanakaH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/KiselyovSS06,
  author       = {Oleg Kiselyov and
                  Chung{-}chieh Shan and
                  Amr Sabry},
  editor       = {John H. Reppy and
                  Julia Lawall},
  title        = {Delimited dynamic binding},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
                  16-21, 2006},
  pages        = {26--37},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159803.1159808},
  doi          = {10.1145/1159803.1159808},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/KiselyovSS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Lin06,
  author       = {Chuan{-}Kai Lin},
  editor       = {John H. Reppy and
                  Julia Lawall},
  title        = {Programming monads operationally with Unimo},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
                  16-21, 2006},
  pages        = {274--285},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159803.1159840},
  doi          = {10.1145/1159803.1159840},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Lin06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MightS06,
  author       = {Matthew Might and
                  Olin Shivers},
  editor       = {John H. Reppy and
                  Julia Lawall},
  title        = {Improving flow analyses via GammaCFA: abstract garbage collection
                  and counting},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
                  16-21, 2006},
  pages        = {13--25},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159803.1159807},
  doi          = {10.1145/1159803.1159807},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/MightS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/NakataG06,
  author       = {Keiko Nakata and
                  Jacques Garrigue},
  editor       = {John H. Reppy and
                  Julia Lawall},
  title        = {Recursive modules for programming},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
                  16-21, 2006},
  pages        = {74--86},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159803.1159813},
  doi          = {10.1145/1159803.1159813},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/NakataG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/NanevskiMB06,
  author       = {Aleksandar Nanevski and
                  Greg Morrisett and
                  Lars Birkedal},
  editor       = {John H. Reppy and
                  Julia Lawall},
  title        = {Polymorphism and separation in hoare type theory},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
                  16-21, 2006},
  pages        = {62--73},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159803.1159812},
  doi          = {10.1145/1159803.1159812},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/NanevskiMB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/OwensF06,
  author       = {Scott Owens and
                  Matthew Flatt},
  editor       = {John H. Reppy and
                  Julia Lawall},
  title        = {From structures and functors to modules and units},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
                  16-21, 2006},
  pages        = {87--98},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159803.1159815},
  doi          = {10.1145/1159803.1159815},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/OwensF06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Rossberg06,
  author       = {Andreas Rossberg},
  editor       = {John H. Reppy and
                  Julia Lawall},
  title        = {The missing link: dynamic components for {ML}},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
                  16-21, 2006},
  pages        = {99--110},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159803.1159816},
  doi          = {10.1145/1159803.1159816},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Rossberg06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Rosu06,
  author       = {Grigore Rosu},
  editor       = {John H. Reppy and
                  Julia Lawall},
  title        = {Equality of streams is a Pi0 over 2-complete problem},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
                  16-21, 2006},
  pages        = {184--191},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159803.1159827},
  doi          = {10.1145/1159803.1159827},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Rosu06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Shapiro06,
  author       = {Marc Shapiro},
  editor       = {John H. Reppy and
                  Julia Lawall},
  title        = {Practical proofs of concurrent programs},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
                  16-21, 2006},
  pages        = {123},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159803.1159819},
  doi          = {10.1145/1159803.1159819},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Shapiro06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/VytiniotisWJ06,
  author       = {Dimitrios Vytiniotis and
                  Stephanie Weirich and
                  Simon L. Peyton Jones},
  editor       = {John H. Reppy and
                  Julia Lawall},
  title        = {Boxy types: inference for higher-rank types and impredicativity},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
                  16-21, 2006},
  pages        = {251--262},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159803.1159838},
  doi          = {10.1145/1159803.1159838},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/VytiniotisWJ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/WalkerMLRA06,
  author       = {David Walker and
                  Lester W. Mackey and
                  Jay Ligatti and
                  George A. Reis and
                  David I. August},
  editor       = {John H. Reppy and
                  Julia Lawall},
  title        = {Static typing for a faulty lambda calculus},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
                  16-21, 2006},
  pages        = {38--49},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159803.1159809},
  doi          = {10.1145/1159803.1159809},
  timestamp    = {Sat, 21 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/WalkerMLRA06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ZiarekSJ06,
  author       = {Lukasz Ziarek and
                  Philip Schatz and
                  Suresh Jagannathan},
  editor       = {John H. Reppy and
                  Julia Lawall},
  title        = {Stabilizers: a modular checkpointing abstraction for concurrent functional
                  programs},
  booktitle    = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
                  16-21, 2006},
  pages        = {136--147},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159803.1159822},
  doi          = {10.1145/1159803.1159822},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/ZiarekSJ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2006,
  editor       = {John H. Reppy and
                  Julia Lawall},
  title        = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
                  16-21, 2006},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159803},
  doi          = {10.1145/1159803},
  isbn         = {1-59593-309-3},
  timestamp    = {Mon, 17 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics