Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/icfp/icfp2006.bht:"
@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} }
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.