default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/lfp/lfp1994.bht:"
download as .bib file
@inproceedings{DBLP:conf/lfp/AdityaFH94,
author = {Shail Aditya and
Christine H. Flood and
James E. Hicks},
editor = {Robert R. Kessler},
title = {Garbage Collection for Strongly-Typed Languages Using Run-Time Type
Reconstruction},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {12--23},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.182414},
doi = {10.1145/182409.182414},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/AdityaFH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/AshleyD94,
author = {J. Michael Ashley and
R. Kent Dybvig},
editor = {Robert R. Kessler},
title = {An Efficient Implementation of Multiple Return Values in Scheme},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {140--149},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.156784},
doi = {10.1145/182409.156784},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/AshleyD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/BiagioniHLM94,
author = {Edoardo Biagioni and
Robert Harper and
Peter Lee and
Brian Milnes},
editor = {Robert R. Kessler},
title = {Signatures for a Network Protocol Stack: {A} Systems Application of
Standard {ML}},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {55--64},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.182431},
doi = {10.1145/182409.182431},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/BiagioniHLM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Biswas94,
author = {Sandip K. Biswas},
editor = {Robert R. Kessler},
title = {In-Place Updates in the Presence of Control Operators},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {283--293},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.182491},
doi = {10.1145/182409.182491},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Biswas94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Chuang94,
author = {Tyng{-}Ruey Chuang},
editor = {Robert R. Kessler},
title = {A Randomized Implementation of Multiple Functional Arrays},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {173--184},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.156779},
doi = {10.1145/182409.156779},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Chuang94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/ClingerH94,
author = {William D. Clinger and
Lars Thomas Hansen},
editor = {Robert R. Kessler},
title = {Lambda, the Ultimate Label or a Simple Optimizing Compiler for Scheme},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {128--139},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.156786},
doi = {10.1145/182409.156786},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/ClingerH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Cosmadakis94,
author = {Stavros S. Cosmadakis},
editor = {Robert R. Kessler},
title = {Complete Proof Systems for Algebraic Simply-Typed Terms},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {220--226},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.182482},
doi = {10.1145/182409.182482},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Cosmadakis94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/DavisPS94,
author = {Harley Davis and
Pierre Parquier and
Nitsan S{\'{e}}niak},
editor = {Robert R. Kessler},
title = {Talking About Modules and Delivery},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {113--120},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.182451},
doi = {10.1145/182409.182451},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/DavisPS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/DavisPS94a,
author = {Harley Davis and
Pierre Parquier and
Nitsan S{\'{e}}niak},
editor = {Robert R. Kessler},
title = {Sweet Harmony: The Talk/C++ Connection},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {121--127},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.156777},
doi = {10.1145/182409.156777},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/DavisPS94a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/DeanC94,
author = {Jeffrey Dean and
Craig Chambers},
editor = {Robert R. Kessler},
title = {Towards Better Inlining Decisions Using Inlining Trials},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {273--282},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.182489},
doi = {10.1145/182409.182489},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/DeanC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/DzengH94,
author = {Hsianlin Dzeng and
Christopher T. Haynes},
editor = {Robert R. Kessler},
title = {Type Reconstruction for Variable-Arity Procedures},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {239--249},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.182484},
doi = {10.1145/182409.182484},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/DzengH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Fradet94,
author = {Pascal Fradet},
editor = {Robert R. Kessler},
title = {Collecting More Garbage},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {24--33},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.182417},
doi = {10.1145/182409.182417},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Fradet94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Hall94,
author = {Cordelia V. Hall},
editor = {Robert R. Kessler},
title = {Using Hindley-Milner Type Inference to Optimise List Representation},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {162--172},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.156781},
doi = {10.1145/182409.156781},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Hall94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Heintze94,
author = {Nevin Heintze},
editor = {Robert R. Kessler},
title = {Set-Based Analysis of {ML} Programs},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {306--317},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.182495},
doi = {10.1145/182409.182495},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Heintze94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/HuelsbergenLA94,
author = {Lorenz Huelsbergen and
James R. Larus and
Alexander Aiken},
editor = {Robert R. Kessler},
title = {Using the Run-Time Sizes of Data Structures to Guide Parallel-Thread
Creation},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {79--90},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.182442},
doi = {10.1145/182409.182442},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/HuelsbergenLA94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/JacobsS94,
author = {J. H. Jacobs and
Mark R. Swanson},
editor = {Robert R. Kessler},
title = {Syntax and Semantics of a Persistent Common Lisp},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {103--112},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.182450},
doi = {10.1145/182409.182450},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/JacobsS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/JagannathanW94,
author = {Suresh Jagannathan and
Stephen Weeks},
editor = {Robert R. Kessler},
title = {Analyzing Stores and References in a Parallel Symbolic Language},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {294--305},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.182493},
doi = {10.1145/182409.182493},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/JagannathanW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/KfouryW94,
author = {A. J. Kfoury and
J. B. Wells},
editor = {Robert R. Kessler},
title = {A Direct Algorithm for Type Inference in the Rank-2 Fragment of the
Second-Order lambda-Calculus},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {196--207},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.182456},
doi = {10.1145/182409.182456},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/KfouryW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/LawallD94,
author = {Julia L. Lawall and
Olivier Danvy},
editor = {Robert R. Kessler},
title = {Continuation-Based Partial Evaluation},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {227--238},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.182483},
doi = {10.1145/182409.182483},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/LawallD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/OTooleN94,
author = {James W. O'Toole Jr. and
Scott Nettles},
editor = {Robert R. Kessler},
title = {Concurrent Replicating Garbage Collection},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {34--42},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.182425},
doi = {10.1145/182409.182425},
timestamp = {Wed, 10 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfp/OTooleN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Queinnec94,
author = {Christian Queinnec},
editor = {Robert R. Kessler},
title = {Locality, Causality and Continuations},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {91--102},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.182445},
doi = {10.1145/182409.182445},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Queinnec94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/ReistadG94,
author = {Brian Reistad and
David K. Gifford},
editor = {Robert R. Kessler},
title = {Static Dependent Costs for Estimating Execution Time},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {65--78},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.182439},
doi = {10.1145/182409.182439},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/ReistadG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/SastryC94,
author = {A. V. S. Sastry and
William D. Clinger},
editor = {Robert R. Kessler},
title = {Parallel Destructive Updating in Strict Functional Languages},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {263--272},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.182486},
doi = {10.1145/182409.182486},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/SastryC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/ShaoA94,
author = {Zhong Shao and
Andrew W. Appel},
editor = {Robert R. Kessler},
title = {Space-Efficient Closure Representations},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {150--161},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.156783},
doi = {10.1145/182409.156783},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/ShaoA94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/ShaoRA94,
author = {Zhong Shao and
John H. Reppy and
Andrew W. Appel},
editor = {Robert R. Kessler},
title = {Unrolling Lists},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {185--195},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.182453},
doi = {10.1145/182409.182453},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfp/ShaoRA94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/StefanescuZ94,
author = {Dan C. Stefanescu and
Yuli Zhou},
editor = {Robert R. Kessler},
title = {An Equational Framework for the Flow Analysis of Higher Order Functional
Programs},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {318--327},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.182497},
doi = {10.1145/182409.182497},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/StefanescuZ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/StefanovicM94,
author = {Darko Stefanovic and
J. Eliot B. Moss},
editor = {Robert R. Kessler},
title = {Characterization of Object Behaviour in Standard {ML} of New Jersey},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {43--54},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.182428},
doi = {10.1145/182409.182428},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/StefanovicM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Thatte94,
author = {Satish R. Thatte},
editor = {Robert R. Kessler},
title = {Semantics of Type Classes Revisited},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {208--219},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.182459},
doi = {10.1145/182409.182459},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Thatte94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Tolmach94,
author = {Andrew P. Tolmach},
editor = {Robert R. Kessler},
title = {Tag-Free Garbage Collection Using Explicit Type Parameters},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {1--11},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.182411},
doi = {10.1145/182409.182411},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Tolmach94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/WrightC94,
author = {Andrew K. Wright and
Robert Cartwright},
editor = {Robert R. Kessler},
title = {A Practical Soft Type System for Scheme},
booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
pages = {250--262},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409.182485},
doi = {10.1145/182409.182485},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/WrightC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfp/1994,
editor = {Robert R. Kessler},
title = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional
Programming, Orlando, Florida, USA, 27-29 June 1994},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/182409},
doi = {10.1145/182409},
isbn = {0-89791-643-3},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/1994.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 2025-01-10 07:50 CET 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:
