Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/icfp/AnandCK01,
  author       = {Saswat Anand and
                  Wei{-}Ngan Chin and
                  Siau{-}Cheng Khoo},
  editor       = {Benjamin C. Pierce},
  title        = {Charting Patterns on Price History},
  booktitle    = {Proceedings of the Sixth {ACM} {SIGPLAN} International Conference
                  on Functional Programming {(ICFP} '01), Firenze (Florence), Italy,
                  September 3-5, 2001},
  pages        = {134--145},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/507635.507653},
  doi          = {10.1145/507635.507653},
  timestamp    = {Wed, 07 Jul 2021 17:30:33 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/AnandCK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/ChakravartyK01,
  author       = {Manuel M. T. Chakravarty and
                  Gabriele Keller},
  editor       = {Benjamin C. Pierce},
  title        = {Functional Array Fusion},
  booktitle    = {Proceedings of the Sixth {ACM} {SIGPLAN} International Conference
                  on Functional Programming {(ICFP} '01), Firenze (Florence), Italy,
                  September 3-5, 2001},
  pages        = {205--216},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/507635.507661},
  doi          = {10.1145/507635.507661},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/ChakravartyK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/Chitil01,
  author       = {Olaf Chitil},
  editor       = {Benjamin C. Pierce},
  title        = {Compositional Explanation of Types and Algorithmic Debugging of Type
                  Errors},
  booktitle    = {Proceedings of the Sixth {ACM} {SIGPLAN} International Conference
                  on Functional Programming {(ICFP} '01), Firenze (Florence), Italy,
                  September 3-5, 2001},
  pages        = {193--204},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/507635.507659},
  doi          = {10.1145/507635.507659},
  timestamp    = {Wed, 07 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Chitil01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/Chuang01,
  author       = {Tyng{-}Ruey Chuang},
  editor       = {Benjamin C. Pierce},
  title        = {Generic Validation of Structural Content with Parametric Modules},
  booktitle    = {Proceedings of the Sixth {ACM} {SIGPLAN} International Conference
                  on Functional Programming {(ICFP} '01), Firenze (Florence), Italy,
                  September 3-5, 2001},
  pages        = {98--109},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/507635.507649},
  doi          = {10.1145/507635.507649},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Chuang01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/DimockWMTW01,
  author       = {Allyn Dimock and
                  Ian Westmacott and
                  Robert Muller and
                  Franklyn A. Turbak and
                  J. B. Wells},
  editor       = {Benjamin C. Pierce},
  title        = {Functioning without Closure: Type-Safe Customized Function Representations
                  for Standard {ML}},
  booktitle    = {Proceedings of the Sixth {ACM} {SIGPLAN} International Conference
                  on Functional Programming {(ICFP} '01), Firenze (Florence), Italy,
                  September 3-5, 2001},
  pages        = {14--25},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/507635.507640},
  doi          = {10.1145/507635.507640},
  timestamp    = {Wed, 07 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/DimockWMTW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/Duggan01,
  author       = {Dominic Duggan},
  editor       = {Benjamin C. Pierce},
  title        = {Type-Based Hot Swapping of Running Modules},
  booktitle    = {Proceedings of the Sixth {ACM} {SIGPLAN} International Conference
                  on Functional Programming {(ICFP} '01), Firenze (Florence), Italy,
                  September 3-5, 2001},
  pages        = {62--73},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/507635.507645},
  doi          = {10.1145/507635.507645},
  timestamp    = {Wed, 07 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Duggan01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/FessantM01,
  author       = {Fabrice Le Fessant and
                  Luc Maranget},
  editor       = {Benjamin C. Pierce},
  title        = {Optimizing Pattern Matching},
  booktitle    = {Proceedings of the Sixth {ACM} {SIGPLAN} International Conference
                  on Functional Programming {(ICFP} '01), Firenze (Florence), Italy,
                  September 3-5, 2001},
  pages        = {26--37},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/507635.507641},
  doi          = {10.1145/507635.507641},
  timestamp    = {Wed, 07 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/FessantM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/FluetW01,
  author       = {Matthew Fluet and
                  Stephen Weeks},
  editor       = {Benjamin C. Pierce},
  title        = {Contification Using Dominators},
  booktitle    = {Proceedings of the Sixth {ACM} {SIGPLAN} International Conference
                  on Functional Programming {(ICFP} '01), Firenze (Florence), Italy,
                  September 3-5, 2001},
  pages        = {2--13},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/507635.507639},
  doi          = {10.1145/507635.507639},
  timestamp    = {Wed, 07 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/FluetW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/GanzST01,
  author       = {Steven E. Ganz and
                  Amr Sabry and
                  Walid Taha},
  editor       = {Benjamin C. Pierce},
  title        = {Macros as Multi-Stage Computations: Type-Safe, Generative, Binding
                  Macros in MacroML},
  booktitle    = {Proceedings of the Sixth {ACM} {SIGPLAN} International Conference
                  on Functional Programming {(ICFP} '01), Firenze (Florence), Italy,
                  September 3-5, 2001},
  pages        = {74--85},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/507635.507646},
  doi          = {10.1145/507635.507646},
  timestamp    = {Wed, 07 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/GanzST01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/Grobauer01,
  author       = {Bernd Grobauer},
  editor       = {Benjamin C. Pierce},
  title        = {Cost Recurrences for {DML} Programs},
  booktitle    = {Proceedings of the Sixth {ACM} {SIGPLAN} International Conference
                  on Functional Programming {(ICFP} '01), Firenze (Florence), Italy,
                  September 3-5, 2001},
  pages        = {253--264},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/507635.507666},
  doi          = {10.1145/507635.507666},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Grobauer01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/GustavssonS01,
  author       = {J{\"{o}}rgen Gustavsson and
                  David Sands},
  editor       = {Benjamin C. Pierce},
  title        = {Possibilities and Limitations of Call-by-Need Space Improvement},
  booktitle    = {Proceedings of the Sixth {ACM} {SIGPLAN} International Conference
                  on Functional Programming {(ICFP} '01), Firenze (Florence), Italy,
                  September 3-5, 2001},
  pages        = {265--276},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/507635.507667},
  doi          = {10.1145/507635.507667},
  timestamp    = {Wed, 07 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/GustavssonS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/Hinze01,
  author       = {Ralf Hinze},
  editor       = {Benjamin C. Pierce},
  title        = {A Simple Implementation Technique for Priority Search Queues},
  booktitle    = {Proceedings of the Sixth {ACM} {SIGPLAN} International Conference
                  on Functional Programming {(ICFP} '01), Firenze (Florence), Italy,
                  September 3-5, 2001},
  pages        = {110--121},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/507635.507650},
  doi          = {10.1145/507635.507650},
  timestamp    = {Wed, 07 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Hinze01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/NanevskiBH01,
  author       = {Aleksandar Nanevski and
                  Guy E. Blelloch and
                  Robert Harper},
  editor       = {Benjamin C. Pierce},
  title        = {Automatic Generation of Staged Geometric Predicates},
  booktitle    = {Proceedings of the Sixth {ACM} {SIGPLAN} International Conference
                  on Functional Programming {(ICFP} '01), Firenze (Florence), Italy,
                  September 3-5, 2001},
  pages        = {217--228},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/507635.507662},
  doi          = {10.1145/507635.507662},
  timestamp    = {Wed, 07 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/NanevskiBH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/NeubauerS01,
  author       = {Matthias Neubauer and
                  Michael Sperber},
  editor       = {Benjamin C. Pierce},
  title        = {Down with Emacs Lisp: Dynamic Scope Analysis},
  booktitle    = {Proceedings of the Sixth {ACM} {SIGPLAN} International Conference
                  on Functional Programming {(ICFP} '01), Firenze (Florence), Italy,
                  September 3-5, 2001},
  pages        = {38--49},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/507635.507642},
  doi          = {10.1145/507635.507642},
  timestamp    = {Wed, 07 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/NeubauerS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/Paterson01,
  author       = {Ross Paterson},
  editor       = {Benjamin C. Pierce},
  title        = {A New Notation for Arrows},
  booktitle    = {Proceedings of the Sixth {ACM} {SIGPLAN} International Conference
                  on Functional Programming {(ICFP} '01), Firenze (Florence), Italy,
                  September 3-5, 2001},
  pages        = {229--240},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/507635.507664},
  doi          = {10.1145/507635.507664},
  timestamp    = {Wed, 07 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Paterson01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/Pitts01,
  author       = {Andrew M. Pitts},
  editor       = {Benjamin C. Pierce},
  title        = {A Fresh Approach to Representing Syntax with Static Binders in Functional
                  Programming},
  booktitle    = {Proceedings of the Sixth {ACM} {SIGPLAN} International Conference
                  on Functional Programming {(ICFP} '01), Firenze (Florence), Italy,
                  September 3-5, 2001},
  pages        = {1},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/507635.507637},
  doi          = {10.1145/507635.507637},
  timestamp    = {Wed, 07 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Pitts01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/Russell01,
  author       = {George Russell},
  editor       = {Benjamin C. Pierce},
  title        = {Events in Haskell, and How to Implement Them},
  booktitle    = {Proceedings of the Sixth {ACM} {SIGPLAN} International Conference
                  on Functional Programming {(ICFP} '01), Firenze (Florence), Italy,
                  September 3-5, 2001},
  pages        = {157--168},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/507635.507655},
  doi          = {10.1145/507635.507655},
  timestamp    = {Wed, 07 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Russell01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/Russo01,
  author       = {Claudio V. Russo},
  editor       = {Benjamin C. Pierce},
  title        = {Recursive Structures for Standard {ML}},
  booktitle    = {Proceedings of the Sixth {ACM} {SIGPLAN} International Conference
                  on Functional Programming {(ICFP} '01), Firenze (Florence), Italy,
                  September 3-5, 2001},
  pages        = {50--61},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/507635.507644},
  doi          = {10.1145/507635.507644},
  timestamp    = {Wed, 07 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Russo01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/Sheard01,
  author       = {Tim Sheard},
  editor       = {Benjamin C. Pierce},
  title        = {Generic Unification via Two-Level Types and Parameterized Modules},
  booktitle    = {Proceedings of the Sixth {ACM} {SIGPLAN} International Conference
                  on Functional Programming {(ICFP} '01), Firenze (Florence), Italy,
                  September 3-5, 2001},
  pages        = {86--97},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/507635.507648},
  doi          = {10.1145/507635.507648},
  timestamp    = {Wed, 07 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Sheard01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/Sperber01,
  author       = {Michael Sperber},
  editor       = {Benjamin C. Pierce},
  title        = {Developing a Stage Lighting System from Scratch},
  booktitle    = {Proceedings of the Sixth {ACM} {SIGPLAN} International Conference
                  on Functional Programming {(ICFP} '01), Firenze (Florence), Italy,
                  September 3-5, 2001},
  pages        = {122--133},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/507635.507652},
  doi          = {10.1145/507635.507652},
  timestamp    = {Wed, 07 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/Sperber01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/WalkerW01,
  author       = {David Walker and
                  Kevin Watkins},
  editor       = {Benjamin C. Pierce},
  title        = {On Regions and Linear Types},
  booktitle    = {Proceedings of the Sixth {ACM} {SIGPLAN} International Conference
                  on Functional Programming {(ICFP} '01), Firenze (Florence), Italy,
                  September 3-5, 2001},
  pages        = {181--192},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/507635.507658},
  doi          = {10.1145/507635.507658},
  timestamp    = {Tue, 09 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/WalkerW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/WanTH01,
  author       = {Zhanyong Wan and
                  Walid Taha and
                  Paul Hudak},
  editor       = {Benjamin C. Pierce},
  title        = {Real-Time {FRP}},
  booktitle    = {Proceedings of the Sixth {ACM} {SIGPLAN} International Conference
                  on Functional Programming {(ICFP} '01), Firenze (Florence), Italy,
                  September 3-5, 2001},
  pages        = {146--156},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/507635.507654},
  doi          = {10.1145/507635.507654},
  timestamp    = {Wed, 07 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/WanTH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/XiH01,
  author       = {Hongwei Xi and
                  Robert Harper},
  editor       = {Benjamin C. Pierce},
  title        = {A Dependently Typed Assembly Language},
  booktitle    = {Proceedings of the Sixth {ACM} {SIGPLAN} International Conference
                  on Functional Programming {(ICFP} '01), Firenze (Florence), Italy,
                  September 3-5, 2001},
  pages        = {169--180},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/507635.507657},
  doi          = {10.1145/507635.507657},
  timestamp    = {Wed, 07 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/XiH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/ZengerO01,
  author       = {Matthias Zenger and
                  Martin Odersky},
  editor       = {Benjamin C. Pierce},
  title        = {Extensible Algebraic Datatypes with Defaults},
  booktitle    = {Proceedings of the Sixth {ACM} {SIGPLAN} International Conference
                  on Functional Programming {(ICFP} '01), Firenze (Florence), Italy,
                  September 3-5, 2001},
  pages        = {241--252},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/507635.507665},
  doi          = {10.1145/507635.507665},
  timestamp    = {Wed, 07 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/ZengerO01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/icfp/2001,
  editor       = {Benjamin C. Pierce},
  title        = {Proceedings of the Sixth {ACM} {SIGPLAN} International Conference
                  on Functional Programming {(ICFP} '01), Firenze (Florence), Italy,
                  September 3-5, 2001},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/507635},
  doi          = {10.1145/507635},
  isbn         = {1-58113-415-0},
  timestamp    = {Wed, 07 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/2001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.