![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/icfp/icfp2001.bht:"
@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} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.