default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/lfp:"
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}
}
@inproceedings{DBLP:conf/lfp/Bondorf92,
author = {Anders Bondorf},
editor = {Jon L. White},
title = {Improving Binding Times Without Explicit CPS-Conversion},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {1--10},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141483},
doi = {10.1145/141471.141483},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Bondorf92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/BoveA92,
author = {Ana Bove and
Laura Arbilla},
editor = {Jon L. White},
title = {A Confluent Calculus of Macro Expansion and Evaluation},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {278--287},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141562},
doi = {10.1145/141471.141562},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/BoveA92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/CastagnaGL92,
author = {Giuseppe Castagna and
Giorgio Ghelli and
Giuseppe Longo},
editor = {Jon L. White},
title = {A Calculus for Overloaded Functions with Subtyping},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {182--192},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141537},
doi = {10.1145/141471.141537},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/CastagnaGL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/ChenHO92,
author = {Kung Chen and
Paul Hudak and
Martin Odersky},
editor = {Jon L. White},
title = {Parametric Type Classes},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {170--181},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141536},
doi = {10.1145/141471.141536},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/ChenHO92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Chin92,
author = {Wei{-}Ngan Chin},
editor = {Jon L. White},
title = {Safe Fusion of Functional Expressions},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {11--20},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141494},
doi = {10.1145/141471.141494},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Chin92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/ChirimarGR92,
author = {Jawahar Chirimar and
Carl A. Gunter and
Jon G. Riecke},
editor = {Jon L. White},
title = {Proving Memory Management Invariants for a Language Based on Linear
Logic},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {139--150},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141527},
doi = {10.1145/141471.141527},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/ChirimarGR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/ChuangG92,
author = {Tyng{-}Ruey Chuang and
Benjamin Goldberg},
editor = {Jon L. White},
title = {A Syntactic Approach to Fixed Point Computation on Finite Domains},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {109--118},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141517},
doi = {10.1145/141471.141517},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/ChuangG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/CooperNS92,
author = {Eric Cooper and
Scott Nettles and
Indira Subramanian},
editor = {Jon L. White},
title = {Improving the Performance of {SML} Garbage Collection Using Application-Specific
Virtual Memory Management},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {43--52},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141501},
doi = {10.1145/141471.141501},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/CooperNS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/DanvyL92,
author = {Olivier Danvy and
Julia L. Lawall},
editor = {Jon L. White},
title = {Back to Direct Style {II:} First-Class Continuations},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {299--310},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141564},
doi = {10.1145/141471.141564},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/DanvyL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/GoldbergG92,
author = {Benjamin Goldberg and
Michael Gloger},
editor = {Jon L. White},
title = {Polymorphic Type Reconstruction for Garbage Collection Without Tags},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {53--65},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141504},
doi = {10.1145/141471.141504},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/GoldbergG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Henessey92,
author = {Wade Henessey},
editor = {Jon L. White},
title = {{WCL:} Delivering Efficient Common Lisp Applications Under Unix},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {260--269},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141560},
doi = {10.1145/141471.141560},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Henessey92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Henglein92,
author = {Fritz Henglein},
editor = {Jon L. White},
title = {Global Tagging Optimization by Type Inference},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {205--215},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141542},
doi = {10.1145/141471.141542},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Henglein92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/HuelsbergenL92,
author = {Lorenz Huelsbergen and
James R. Larus},
editor = {Jon L. White},
title = {Dynamic Program Parallelization},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {311--323},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141567},
doi = {10.1145/141471.141567},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/HuelsbergenL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/JagannathanP92,
author = {Suresh Jagannathan and
James Philbin},
editor = {Jon L. White},
title = {A Foundation for an Efficient Multi-Threaded Scheme System},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {345--357},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141573},
doi = {10.1145/141471.141573},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/JagannathanP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Kaes92,
author = {Stefan Kaes},
editor = {Jon L. White},
title = {Type Inference in the Presence of Overloading, Subtyping and Recursive
Types},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {193--204},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141540},
doi = {10.1145/141471.141540},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Kaes92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/KaserPRRS92,
author = {Owen Kaser and
Shaunak Pawagi and
C. R. Ramakrishnan and
I. V. Ramakrishnan and
R. C. Sekar},
editor = {Jon L. White},
title = {Fast Parallel Implementation of Lazy Languages - The {EQUALS} Experience},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {335--344},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141570},
doi = {10.1145/141471.141570},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/KaserPRRS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/MacLachlan92,
author = {Robert A. MacLachlan},
editor = {Jon L. White},
title = {The Python Compiler for {CMU} Common Lisp},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {235--246},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141558},
doi = {10.1145/141471.141558},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/MacLachlan92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Maranget92,
author = {Luc Maranget},
editor = {Jon L. White},
title = {Compiling Lazy Pattern Matching},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {21--31},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141499},
doi = {10.1145/141471.141499},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Maranget92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/MullerZ92,
author = {Robert Muller and
Yuli Zhou},
editor = {Jon L. White},
title = {Abstract Interpretation in Weak Powerdomains},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {119--126},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141520},
doi = {10.1145/141471.141520},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/MullerZ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/NagasakaSIGT92,
author = {Atsushi Nagasaka and
Yoshihiro Shintani and
Tanji Ito and
Hiroshi Gomi and
Junichi Takahashi},
editor = {Jon L. White},
title = {Tachyon Common Lisp: An Efficient and Portable Implementation of CLtL2},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {270--277},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141561},
doi = {10.1145/141471.141561},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfp/NagasakaSIGT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/NeubergerM92,
author = {Marc Neuberger and
Prateek Mishra},
editor = {Jon L. White},
title = {A Precise Relationship Between the Deductive Power of Forward and
Backward Strictness Analysis},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {127--138},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141526},
doi = {10.1145/141471.141526},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/NeubergerM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/NielsonN92,
author = {Flemming Nielson and
Hanne Riis Nielson},
editor = {Jon L. White},
title = {Finiteness Conditions for Fixed Point Iteration},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {96--108},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141514},
doi = {10.1145/141471.141514},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/NielsonN92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/RauglaudreM92,
author = {Daniel de Rauglaudre and
Michel Mauny},
editor = {Jon L. White},
title = {Parsers in {ML}},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {76--85},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141510},
doi = {10.1145/141471.141510},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/RauglaudreM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Remy92,
author = {Didier R{\'{e}}my},
editor = {Jon L. White},
title = {Projective {ML}},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {66--75},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141507},
doi = {10.1145/141471.141507},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Remy92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/RoseM92,
author = {John R. Rose and
Hans Muller},
editor = {Jon L. White},
title = {Integrating the Scheme and {C} Languages},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {247--259},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141559},
doi = {10.1145/141471.141559},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/RoseM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Rozas92,
author = {Guillermo Juan Rozas},
editor = {Jon L. White},
title = {Taming the {Y} Operator},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {226--234},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141545},
doi = {10.1145/141471.141545},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Rozas92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/SabryF92,
author = {Amr Sabry and
Matthias Felleisen},
editor = {Jon L. White},
title = {Reasoning About Programs in Continuation-Passing Style},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {288--298},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141563},
doi = {10.1145/141471.141563},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/SabryF92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/TannenS92,
author = {Val Tannen and
Ramesh Subrahmanyam},
editor = {Jon L. White},
title = {On Extending Computational Adequacy by Data Abstraction},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {161--169},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141530},
doi = {10.1145/141471.141530},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/TannenS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/TraubCS92,
author = {Kenneth R. Traub and
David E. Culler and
Klaus E. Schauser},
editor = {Jon L. White},
title = {Global Analysis for Partitioning Non-Strict Programs into Sequential
Threads},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {324--334},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141568},
doi = {10.1145/141471.141568},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/TraubCS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Tung92,
author = {Sho{-}Huan Simon Tung},
editor = {Jon L. White},
title = {Interactive Modular Programming in Scheme},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {86--95},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141512},
doi = {10.1145/141471.141512},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Tung92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/WandO92,
author = {Mitchell Wand and
Dino Oliva},
editor = {Jon L. White},
title = {Proving the Correctness of Storage Representations},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {151--160},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141528},
doi = {10.1145/141471.141528},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/WandO92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/WangH92,
author = {Edward Wang and
Paul N. Hilfinger},
editor = {Jon L. White},
title = {Analysis of Recursive Types in Lisp-Like Languages},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {216--225},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141544},
doi = {10.1145/141471.141544},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/WangH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/WilsonLM92,
author = {Paul R. Wilson and
Michael S. Lam and
Thomas G. Moher},
editor = {Jon L. White},
title = {Caching Considerations for Generational Garbage Collection},
booktitle = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
pages = {32--42},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471.141500},
doi = {10.1145/141471.141500},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfp/WilsonLM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfp/1992,
editor = {Jon L. White},
title = {Proceedings of the Conference on Lisp and Functional Programming,
{LFP} 1992, San Francisco, California, USA, 22-24 June 1992},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/141471},
doi = {10.1145/141471},
isbn = {0-89791-481-3},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Baker90,
author = {Henry G. Baker},
editor = {Gilles Kahn},
title = {Unify and Conquer},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {218--226},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91652},
doi = {10.1145/91556.91652},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Baker90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Berlin90,
author = {Andrew A. Berlin},
editor = {Gilles Kahn},
title = {Partial Evaluation Applied to Numerical Computation},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {139--150},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91612},
doi = {10.1145/91556.91612},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Berlin90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Burn90,
author = {Geoffrey Livingston Burn},
editor = {Gilles Kahn},
title = {Using Projection Analysis of Evaluation-Order and Its Application},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {227--240},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91655},
doi = {10.1145/91556.91655},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Burn90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/CardelliL90,
author = {Luca Cardelli and
Giuseppe Longo},
editor = {Gilles Kahn},
title = {A Semantic Basis for Quest},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {30--43},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91586},
doi = {10.1145/91556.91586},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/CardelliL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Consel90,
author = {Charles Consel},
editor = {Gilles Kahn},
title = {Binding Time Analysis for High Order Untyped Functional Languages},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {264--272},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91668},
doi = {10.1145/91556.91668},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Consel90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Cregut90,
author = {Pierre Cr{\'{e}}gut},
editor = {Gilles Kahn},
title = {An Abstract Machine for Lambda-Terms Normalization},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {333--340},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91681},
doi = {10.1145/91556.91681},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Cregut90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/CurtisR90,
author = {Pavel Curtis and
James Rauen},
editor = {Gilles Kahn},
title = {A Module System for Scheme},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {13--19},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91573},
doi = {10.1145/91556.91573},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/CurtisR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/DanvyF90,
author = {Olivier Danvy and
Andrzej Filinski},
editor = {Gilles Kahn},
title = {Abstracting Control},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {151--160},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91622},
doi = {10.1145/91556.91622},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/DanvyF90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/DraghicescuP90,
author = {M. Draghicescu and
S. Purushothaman},
editor = {Gilles Kahn},
title = {A Compositional Analysis of Evaluation-Order and Its Application},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {242--250},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91658},
doi = {10.1145/91556.91658},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/DraghicescuP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/FeeleyM90,
author = {Marc Feeley and
James S. Miller},
editor = {Gilles Kahn},
title = {A Parallel Virtual Machine for Efficient Scheme Compilation},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {119--130},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91606},
doi = {10.1145/91556.91606},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/FeeleyM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/FieldT90,
author = {John Field and
Tim Teitelbaum},
editor = {Gilles Kahn},
title = {Incremental Reduction in the lambda Calculus},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {307--322},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91679},
doi = {10.1145/91556.91679},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/FieldT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/GiorgiM90,
author = {Jean{-}Francois Giorgi and
Daniel Le M{\'{e}}tayer},
editor = {Gilles Kahn},
title = {Continuation-Based Parallel Implementation of Functional Programming
Languages},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {209--217},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91648},
doi = {10.1145/91556.91648},
timestamp = {Tue, 12 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfp/GiorgiM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Gomard90,
author = {Carsten K. Gomard},
editor = {Gilles Kahn},
title = {Partial Type Inference for Untyped Functional Programs},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {282--287},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91672},
doi = {10.1145/91556.91672},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Gomard90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/HannanM90,
author = {John Hannan and
Dale Miller},
editor = {Gilles Kahn},
title = {From Operational Semantics to Abstract Machines: Preliminary Results},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {323--332},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91680},
doi = {10.1145/91556.91680},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/HannanM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Hanson90,
author = {Chris Hanson},
editor = {Gilles Kahn},
title = {Efficient Stack Allocation for Tail-Recursive Languages},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {106--118},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91603},
doi = {10.1145/91556.91603},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Hanson90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/HowardM90,
author = {Brian T. Howard and
John C. Mitchell},
editor = {Gilles Kahn},
title = {Operational and Axiomatic Semantics of {PCF}},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {298--306},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91677},
doi = {10.1145/91556.91677},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/HowardM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Johnson90,
author = {Douglas Johnson},
editor = {Gilles Kahn},
title = {Trap Architectures for Lisp Systems},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {79--86},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91595},
doi = {10.1145/91556.91595},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Johnson90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/KatzW90,
author = {Morry Katz and
Daniel Weise},
editor = {Gilles Kahn},
title = {Continuing into the Future: On the Interaction of Futures and First-Class
Continuations},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {176--184},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91628},
doi = {10.1145/91556.91628},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/KatzW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/KiczalesR90,
author = {Gregor Kiczales and
Luis Rodriguez},
editor = {Gilles Kahn},
title = {Efficient Method Dispatch in {PCL}},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {99--105},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91600},
doi = {10.1145/91556.91600},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/KiczalesR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Leivant90,
author = {Daniel Leivant},
editor = {Gilles Kahn},
title = {Discrete Polymorphism},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {288--297},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91675},
doi = {10.1145/91556.91675},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Leivant90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/MohrKH90,
author = {Eric Mohr and
David A. Kranz and
Robert H. Halstead Jr.},
editor = {Gilles Kahn},
title = {Lazy Task Creation: {A} Technique for Increasing the Granularity of
Parallel Programs},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {185--197},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91631},
doi = {10.1145/91556.91631},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/MohrKH90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/NadathurW90,
author = {Gopalan Nadathur and
Debra Sue Wilson},
editor = {Gilles Kahn},
title = {A Representation of Lambda Terms Suitable for Operations on Their
Intensions},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {341--348},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91682},
doi = {10.1145/91556.91682},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/NadathurW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/NielsonN90,
author = {Hanne Riis Nielson and
Flemming Nielson},
editor = {Gilles Kahn},
title = {Context Information for Lazy Code Generation},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {251--263},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91665},
doi = {10.1145/91556.91665},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/NielsonN90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Osborne90,
author = {Randy B. Osborne},
editor = {Gilles Kahn},
title = {Speculative Computation in Multilisp},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {198--208},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91644},
doi = {10.1145/91556.91644},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Osborne90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/PuelS90,
author = {Laurence Puel and
Asc{\'{a}}nder Su{\'{a}}rez},
editor = {Gilles Kahn},
title = {Compiling Pattern Matching by Term Decomposition},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {273--281},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91670},
doi = {10.1145/91556.91670},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/PuelS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/SheldonG90,
author = {Mark A. Sheldon and
David K. Gifford},
editor = {Gilles Kahn},
title = {Static Dependent Types for First Class Modules},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {20--29},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91577},
doi = {10.1145/91556.91577},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/SheldonG90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/SitaramF90,
author = {Dorai Sitaram and
Matthias Felleisen},
editor = {Gilles Kahn},
title = {Reasoning with Continuations {II:} Full Abstraction for Models of
Control},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {161--175},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91626},
doi = {10.1145/91556.91626},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/SitaramF90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/TannenGS90,
author = {Val Tannen and
Carl A. Gunter and
Andre Scedrov},
editor = {Gilles Kahn},
title = {Computing with Coercions},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {44--60},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91590},
doi = {10.1145/91556.91590},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/TannenGS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/TolmachA90,
author = {Andrew P. Tolmach and
Andrew W. Appel},
editor = {Gilles Kahn},
title = {Debugging Standard {ML} Without Reverse Engineering},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {1--12},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91564},
doi = {10.1145/91556.91564},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/TolmachA90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Wadler90,
author = {Philip Wadler},
editor = {Gilles Kahn},
title = {Comprehending Monads},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {61--78},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91592},
doi = {10.1145/91556.91592},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Wadler90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/WalinskyB90,
author = {Clifford Walinsky and
Deb Banerjee},
editor = {Gilles Kahn},
title = {A Functional Programming Language Compiler for Massively Parallel
Computers},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {131--138},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91610},
doi = {10.1145/91556.91610},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/WalinskyB90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Zorn90,
author = {Benjamin G. Zorn},
editor = {Gilles Kahn},
title = {Comparing Mark-and-Sweep and Stop-and-Copy Garbage Collection},
booktitle = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
pages = {87--98},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556.91597},
doi = {10.1145/91556.91597},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Zorn90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfp/1990,
editor = {Gilles Kahn},
title = {Proceedings of the 1990 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1990, Nice, France, 27-29 June 1990},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/91556},
doi = {10.1145/91556},
isbn = {0-89791-368-X},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/1990.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/AasaPS88,
author = {Annika Aasa and
Kent Petersson and
Dan Synek},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {Concrete Syntax for Data Objects in Functional Languages},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {96--105},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62688},
doi = {10.1145/62678.62688},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/AasaPS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/AdamsR88,
author = {Norman Adams and
Jonathan Rees},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {Object-Oriented Programming in Scheme},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {277--288},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62720},
doi = {10.1145/62678.62720},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/AdamsR88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Bawden88,
author = {Alan Bawden},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {Reification without Evaluation},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {342--349},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62726},
doi = {10.1145/62678.62726},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Bawden88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/BawdenR88,
author = {Alan Bawden and
Jonathan Rees},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {Syntactic Closures},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {86--95},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62687},
doi = {10.1145/62678.62687},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/BawdenR88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/BerlinW88,
author = {Andrew A. Berlin and
Henry M. Wu},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {Scheme86: {A} System for Interpreting Scheme},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {116--123},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62690},
doi = {10.1145/62678.62690},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/BerlinW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/BobrowK88,
author = {Daniel G. Bobrow and
Gregor Kiczales},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {The Common Lisp Object System Metaobject Kernel: {A} Status Report},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {309--315},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62723},
doi = {10.1145/62678.62723},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/BobrowK88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/BurnJR88,
author = {Geoffrey Livingston Burn and
Simon L. Peyton Jones and
J. D. Robson},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {The Spineless G-Machine},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {244--258},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62717},
doi = {10.1145/62678.62717},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/BurnJR88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/ClingerHO88,
author = {William D. Clinger and
Anne Hartheimer and
Eric Ost},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {Implementation Strategies for Continuations},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {124--131},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62692},
doi = {10.1145/62678.62692},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/ClingerHO88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/DanvyM88,
author = {Olivier Danvy and
Karoline Malmkj{\ae}r},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {Intensions and Extensions in a Reflective Tower},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {327--341},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62725},
doi = {10.1145/62678.62725},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/DanvyM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/DybvigH88,
author = {R. Kent Dybvig and
Robert Hieb},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {A Variable-Arity Procedural Interface},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {106--115},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62689},
doi = {10.1145/62678.62689},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/DybvigH88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Felleisen88,
author = {Matthias Felleisen},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {lambda-V-CS: An Extended lambda-Calculus for Scheme},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {72--85},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62686},
doi = {10.1145/62678.62686},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Felleisen88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/FelleisenWFD88,
author = {Matthias Felleisen and
Mitchell Wand and
Daniel P. Friedman and
Bruce F. Duba},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {Abstract Continuations: {A} Mathematical Semantics for Handling Full
Jumps},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {52--62},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62684},
doi = {10.1145/62678.62684},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/FelleisenWFD88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/GharachorlooSH88,
author = {Kourosh Gharachorloo and
Vivek Sarkar and
John L. Hennessy},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {A Simple and Efficient Implmentation Approach for Single Assignment
Languages},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {259--268},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62718},
doi = {10.1145/62678.62718},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/GharachorlooSH88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Goldberg88,
author = {Benjamin Goldberg},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {Buckwheat: Graph Reduction on a Shared-Memory Multiprocessor},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {40--51},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62683},
doi = {10.1145/62678.62683},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Goldberg88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/GoldmanG88,
author = {Ron Goldman and
Richard P. Gabriel},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {Preliminary Results with the Initial Implementation of Qlisp},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {143--152},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62696},
doi = {10.1145/62678.62696},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/GoldmanG88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Henglein88,
author = {Fritz Henglein},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {Type Inference and Semi-Unification},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {184--197},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62701},
doi = {10.1145/62678.62701},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Henglein88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/HudakH88,
author = {Paul Hudak and
Eric Mohr},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {Graphinators and the Duality of {SIMD} and {MIMD}},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {224--234},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62714},
doi = {10.1145/62678.62714},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/HudakH88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/JategaonkarM88,
author = {Lalita Jategaonkar and
John C. Mitchell},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {{ML} with Extended Pattern Matching and Subtypes},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {198--211},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62702},
doi = {10.1145/62678.62702},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/JategaonkarM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Lamping88,
author = {John Lamping},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {A Unified System of Parameterization for Programming Languages},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {316--326},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62724},
doi = {10.1145/62678.62724},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Lamping88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/MacQueen88,
author = {David B. MacQueen},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {An Implementation of Standard {ML} Modules},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {212--223},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62704},
doi = {10.1145/62678.62704},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/MacQueen88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Martini88,
author = {Simon Martini},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {Bounded Quantifiers Have Interval Models},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {164--173},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62699},
doi = {10.1145/62678.62699},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Martini88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/MeyerR88,
author = {Albert R. Meyer and
Jon G. Riecke},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {Continuations May be Unreasonable},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {63--71},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62685},
doi = {10.1145/62678.62685},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/MeyerR88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Norman88,
author = {A. C. Norman},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {Faster Combinator Reduction Using stock Hardware},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {235--243},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62716},
doi = {10.1145/62678.62716},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Norman88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/OhoriB88,
author = {Atsushi Ohori and
Peter Buneman},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {Type Inference in a Database Programming Language},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {174--183},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62700},
doi = {10.1145/62678.62700},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/OhoriB88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Pfenning88,
author = {Frank Pfenning},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {Partial Polymorphic Type Inference and Higher-Order Unification},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {153--163},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62697},
doi = {10.1145/62678.62697},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Pfenning88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Pugh88,
author = {William W. Pugh},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {An Improved Replacement Strategy for Function Aaching},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {269--276},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62719},
doi = {10.1145/62678.62719},
timestamp = {Mon, 04 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Pugh88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/QueinnecC88,
author = {Christian Queinnec and
Pierre Cointe},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {An Open-Ended Data Representation Model for EU{\_}LISP},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {298--308},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62722},
doi = {10.1145/62678.62722},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/QueinnecC88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Reddy88,
author = {Uday S. Reddy},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {Objects as Closures: Abstract Semantics of Object-Oriented Languages},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {289--297},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62721},
doi = {10.1145/62678.62721},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Reddy88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Roylance88,
author = {Gerald Roylance},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {Expressing Mathematical Subroutines Constructively},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {8--13},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62680},
doi = {10.1145/62678.62680},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Roylance88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/SussmanH88,
author = {Gerald J. Sussman and
Matthew Halfant},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {Tutorial: Abstraction in Numerical Methods},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {1--7},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62679},
doi = {10.1145/62678.62679},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/SussmanH88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/SwansonKL88,
author = {Mark R. Swanson and
Robert R. Kessler and
Gary Lindstrom},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {An Implementation of Portable Standard {LISP} on the {BBN} Butterfly},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {132--142},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62694},
doi = {10.1145/62678.62694},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/SwansonKL88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/TinkerK88,
author = {Pete Tinker and
Morry Katz},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {Parallel Execution of Sequential Scheme with ParaTran},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {28--39},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62682},
doi = {10.1145/62678.62682},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/TinkerK88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Vuillemin88,
author = {Jean Vuillemin},
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {Exact Real Computer Arithmetic with Continued Fractions},
booktitle = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
pages = {14--27},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678.62681},
doi = {10.1145/62678.62681},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Vuillemin88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfp/1988,
editor = {J{\'{e}}r{\^{o}}me Chailloux},
title = {Proceedings of the 1988 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1988, Snowbird, Utah, USA, July 25-27, 1988},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62678},
doi = {10.1145/62678},
isbn = {0-89791-273-X},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/1988.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/AlbergaBMDP86,
author = {Cyril N. Alberga and
Chris Bosman{-}Clark and
Martin Mikelsons and
Mary S. Van Deusen and
Julian A. Padget},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {Experience with an Uncommon {LISP}},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {39--53},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319849},
doi = {10.1145/319838.319849},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/AlbergaBMDP86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/BartleyJ86,
author = {David H. Bartley and
John C. Jensen},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {The Implementation of {PC} Scheme},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {88--93},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319852},
doi = {10.1145/319838.319852},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/BartleyJ86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Bawden86,
author = {Alan Bawden},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {Connection Graphs},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {258--265},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319868},
doi = {10.1145/319838.319868},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Bawden86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/BlossH86,
author = {Adrienne G. Bloss and
Paul Hudak},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {Variations on Strictness Analysis},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {132--142},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319857},
doi = {10.1145/319838.319857},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/BlossH86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/BoehmCRO86,
author = {Hans{-}Juergen Boehm and
Robert Cartwright and
Mark Riggle and
Michael J. O'Donnell},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {Exact Real Arithmetic: {A} Case Study in Higher Order Programming},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {162--173},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319860},
doi = {10.1145/319838.319860},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/BoehmCRO86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/BrooksPMWBG86,
author = {Rodney A. Brooks and
David B. Posner and
James L. McDonald and
Jon L. White and
Eric Benson and
Richard P. Gabriel},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {Design of an Optimizing, Dynamically Retargetable Compiler for Common
Lisp},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {67--87},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319851},
doi = {10.1145/319838.319851},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/BrooksPMWBG86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/ClackJ86,
author = {Chris D. Clack and
Simon L. Peyton Jones},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {The Four-Stroke Reduction Engine},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {220--232},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319865},
doi = {10.1145/319838.319865},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/ClackJ86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/ClementDDK86,
author = {Dominique Cl{\'{e}}ment and
Jo{\"{e}}lle Despeyroux and
Th. Despeyroux and
Gilles Kahn},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {A Simple Applicative Language: Mini-ML},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {13--27},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319847},
doi = {10.1145/319838.319847},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/ClementDDK86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/DybvigFH86,
author = {R. Kent Dybvig and
Daniel P. Friedman and
Christopher T. Haynes},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {Expansion-Passing Style: Beyond Conventional Macros},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {143--150},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319858},
doi = {10.1145/319838.319858},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/DybvigFH86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/FairbairnW86,
author = {Jon Fairbairn and
Stuart Wray},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {Code Generation Techniques for Functional Languages},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {94--104},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319853},
doi = {10.1145/319838.319853},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/FairbairnW86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/GiffordL86,
author = {David K. Gifford and
John M. Lucassen},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {Integrating Functional and Imperative Programming},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {28--38},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319848},
doi = {10.1145/319838.319848},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/GiffordL86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Hudak86,
author = {Paul Hudak},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {A Semantic Model of Reference Counting and its Abstraction (Detailed
Summary)},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {351--363},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319876},
doi = {10.1145/319838.319876},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Hudak86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/JayaramanS86,
author = {Bharat Jayaraman and
Frank S. K. Silbermann},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {Equations, Sets, and Reduction Semantics for Functional and Logic
Programming},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {320--331},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319873},
doi = {10.1145/319838.319873},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/JayaramanS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Knight86,
author = {Thomas F. Knight},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {An Architecture for Mostly Functional Languages},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {105--112},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319854},
doi = {10.1145/319838.319854},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Knight86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/KohlbeckerFFD86,
author = {Eugene E. Kohlbecker and
Daniel P. Friedman and
Matthias Felleisen and
Bruce F. Duba},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {Hygienic Macro Expansion},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {151--161},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319859},
doi = {10.1145/319838.319859},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfp/KohlbeckerFFD86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/LeeP86,
author = {Peter Lee and
Uwe F. Pleban},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {On the Use of {LISP} in Implementing Denotational Semantics},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {233--248},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319866},
doi = {10.1145/319838.319866},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/LeeP86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/LemaitreCDDL86,
author = {Michel Lema{\^{\i}}tre and
Michel Castan and
M.{-}H. Durand and
Guy Durrieu and
Bernard L{\'{e}}cussan},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {Mechanisms for Efficient Multiprocessor Combinator Reduction},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {113--121},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319855},
doi = {10.1145/319838.319855},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/LemaitreCDDL86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/LermenM86,
author = {Claus{-}Werner Lermen and
Dieter Maurer},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {A Protocol for Distributed Reference Counting},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {343--350},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319875},
doi = {10.1145/319838.319875},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/LermenM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/MaunyS86,
author = {Michel Mauny and
Asc{\'{a}}nder Su{\'{a}}rez},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {Implementing Functional Languages in the Categorical Abstract Machine},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {266--278},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319869},
doi = {10.1145/319838.319869},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/MaunyS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Mitchell86,
author = {John C. Mitchell},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {A Type-Inference Approach to Reduction Properties and Semantics of
Polymorphic Expressions (Summary)},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {308--319},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319872},
doi = {10.1145/319838.319872},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Mitchell86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/NielsonN86,
author = {Hanne Riis Nielson and
Flemming Nielson},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {Semantics Directed Compiling for Functional Languages},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {249--257},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319867},
doi = {10.1145/319838.319867},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/NielsonN86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Padgeta86,
author = {Julian A. Padget},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {Desiderata for the Standardization of {LISP}},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {54--66},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319850},
doi = {10.1145/319838.319850},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Padgeta86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Ramsdell86,
author = {John D. Ramsdell},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {The {CURRY} Chip},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {122--131},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319856},
doi = {10.1145/319838.319856},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Ramsdell86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Rudalics86,
author = {Martin Rudalics},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {Distributed Copying Garbage Collection},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {364--372},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319877},
doi = {10.1145/319838.319877},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Rudalics86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/SarkarH86,
author = {Vivek Sarkar and
John L. Hennessy},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {Partitioning Parallel Programs for Macro-Dataflow},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {202--211},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319863},
doi = {10.1145/319838.319863},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/SarkarH86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Scheevel86,
author = {Mark Scheevel},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {{NORMA:} {A} Graph Reduction Processor},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {212--219},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319864},
doi = {10.1145/319838.319864},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Scheevel86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/SteeleH86,
author = {Guy L. Steele Jr. and
W. Daniel Hillis},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {Connection Machine {LISP:} Fine-Grained Parallel Symbolic Processing},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {279--297},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319870},
doi = {10.1145/319838.319870},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/SteeleH86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/SteenkisteH86,
author = {Peter Steenkiste and
John L. Hennessy},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {{LISP} on a Reduced-Instruction-Set-Processor},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {192--201},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319862},
doi = {10.1145/319838.319862},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/SteenkisteH86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Thatte86,
author = {Satish R. Thatte},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {Towards a Semantic Theory for Equational Programming Languages},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {332--342},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319874},
doi = {10.1145/319838.319874},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Thatte86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Thompson86,
author = {Simon J. Thompson},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {Laws in Miranda},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {1--12},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319839},
doi = {10.1145/319838.319839},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Thompson86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/WandF86,
author = {Mitchell Wand and
Daniel P. Friedman},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {The Mystery of the Tower Revealed: {A} Non-Reflective Description
of the Reflective Tower},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {298--307},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319871},
doi = {10.1145/319838.319871},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfp/WandF86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/White86,
author = {Jon L. White},
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {Reconfigurable, Retargetable Bignums: {A} Case Study in Efficient,
Portable Lisp System Building},
booktitle = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
pages = {174--191},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838.319861},
doi = {10.1145/319838.319861},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/White86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfp/1986,
editor = {William L. Scherlis and
John H. Williams and
Richard P. Gabriel},
title = {Proceedings of the 1986 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1986, Cambridge, Massachusetts, USA, August 4-6,
1986},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/319838},
doi = {10.1145/319838},
isbn = {0-89791-200-4},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/1986.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Augustsson84,
author = {Lennart Augustsson},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {A Compiler for Lazy {ML}},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {218--227},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802038},
doi = {10.1145/800055.802038},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Augustsson84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/BatesDF84,
author = {Raymond L. Bates and
David Dyer and
Mark Feber},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {Recent Developments in ISI-Interlisp},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {129--139},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802029},
doi = {10.1145/800055.802029},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/BatesDF84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Bellegarde84,
author = {Fran{\c{c}}oise Bellegarde},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {Rewriting Systems on {FP} Expressions that Reduce the Number of Sequences
They Yield},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {63--73},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802022},
doi = {10.1145/800055.802022},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Bellegarde84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Brooks84,
author = {Rodney A. Brooks},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {Trading Data Space for Reduced Time and Code Space in Real-Time Garbage
Collection on Stock Hardware},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {256--262},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802042},
doi = {10.1145/800055.802042},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Brooks84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/BrooksG84,
author = {Rodney A. Brooks and
Richard P. Gabriel},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {A Critique of Common Lisp},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {1--8},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802016},
doi = {10.1145/800055.802016},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/BrooksG84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Cardelli84,
author = {Luca Cardelli},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {Compiling a Functional Language},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {208--217},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802037},
doi = {10.1145/800055.802037},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfp/Cardelli84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/ChaillouxDH84,
author = {J{\'{e}}r{\^{o}}me Chailloux and
Matthieu Devin and
Jean{-}Marie Hullot},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {{LE} LISP, a Portable and Efficient {LISP} System},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {113--122},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802027},
doi = {10.1145/800055.802027},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/ChaillouxDH84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Clinger84,
author = {William D. Clinger},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {The Scheme 311 Compiler: An Exercise in Denotational Semantics},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {356--364},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802052},
doi = {10.1145/800055.802052},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Clinger84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/CointeR84,
author = {Pierre Cointe and
Xavier Rodet},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {Formes: an Object and Time Oriented System for Music Composition and
Synthesis},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {85--95},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802024},
doi = {10.1145/800055.802024},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/CointeR84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Dannenberg84,
author = {Roger B. Dannenberg},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {Arctic: {A} Functional Language for Real-Time Control},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {96--103},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802025},
doi = {10.1145/800055.802025},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Dannenberg84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/DoschM84,
author = {Walter Dosch and
Bernhard M{\"{o}}ller},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {Busy and Lazy {FP} with Infinite Objects},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {282--292},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802045},
doi = {10.1145/800055.802045},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/DoschM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/FriedmanW84,
author = {Daniel P. Friedman and
Mitchell Wand},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {Reification: Reflection without Metaphysics},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {348--355},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802051},
doi = {10.1145/800055.802051},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/FriedmanW84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/GabrielM84,
author = {Richard P. Gabriel and
John McCarthy},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {Queue-based Multi-processing Lisp},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {25--44},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802019},
doi = {10.1145/800055.802019},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/GabrielM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/GivlerK84,
author = {John S. Givler and
Richard B. Kieburtz},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {Schema Recognition for Program Transformations},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {74--84},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802023},
doi = {10.1145/800055.802023},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/GivlerK84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/GoldbergP84,
author = {Allen Goldberg and
Robert Paige},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {Stream Processing},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {53--62},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802021},
doi = {10.1145/800055.802021},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/GoldbergP84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Griswold84,
author = {Ralph E. Griswold},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {Expression Evaluation in the {ICON} Programming Language},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {177--183},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802034},
doi = {10.1145/800055.802034},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Griswold84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Halstead84,
author = {Robert H. Halstead Jr.},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {Implementation of Multilisp: Lisp on a Multiprocessor},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {9--17},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802017},
doi = {10.1145/800055.802017},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Halstead84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/HaynesF84,
author = {Christopher T. Haynes and
Daniel P. Friedman},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {Engines Build Process Abstractions},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {18--24},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802018},
doi = {10.1145/800055.802018},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/HaynesF84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/HaynesFW84,
author = {Christopher T. Haynes and
Daniel P. Friedman and
Mitchell Wand},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {Continuations and Coroutines},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {293--298},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802046},
doi = {10.1145/800055.802046},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/HaynesFW84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/HudakG84,
author = {Paul Hudak and
Benjamin Goldberg},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {Experiments in Diffused Combinator Reduction},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {167--176},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802033},
doi = {10.1145/800055.802033},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/HudakG84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Katayama84,
author = {Takuya Katayama},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {Type Inference and Type Checking for Functional Programming Languages:
{A} Reduced Computation Approach},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {263--272},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802043},
doi = {10.1145/800055.802043},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Katayama84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Lieberman84,
author = {Henry Lieberman},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {Steps Toward Better Debugging Tools for Lisp},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {247--255},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802041},
doi = {10.1145/800055.802041},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Lieberman84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/MacQueen84,
author = {David B. MacQueen},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {Modules for Standard {ML}},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {198--207},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802036},
doi = {10.1145/800055.802036},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/MacQueen84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/MalachiMW84,
author = {Yonathan Malachi and
Zohar Manna and
Richard J. Waldinger},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {{TABLOG:} The Deductive-Tableau Programming Language},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {323--330},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802049},
doi = {10.1145/800055.802049},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/MalachiMW84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Milner84,
author = {Robin Milner},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {A Proposal for Standard {ML}},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {184--197},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802035},
doi = {10.1145/800055.802035},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Milner84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Moon84,
author = {David A. Moon},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {Garbage Collection in a Large Lisp System},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {235--246},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802040},
doi = {10.1145/800055.802040},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Moon84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/OkunoTOHW84,
author = {Hiroshi G. Okuno and
Ikuo Takeuchi and
Nobuyasu Ohsato and
Yasushi Hibino and
Kazufumi Watanabe},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {{TAO:} Afst Interpreter-Centered Lisp System on Lisp Machine {ELIS}},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {140--149},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802030},
doi = {10.1145/800055.802030},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/OkunoTOHW84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Pettorossi84,
author = {Alberto Pettorossi},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {A Powerful Strategy for Deriving Efficient Programs by Transformation},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {273--281},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802044},
doi = {10.1145/800055.802044},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Pettorossi84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/RivieresS84,
author = {Jim des Rivi{\`{e}}res and
Brian Cantwell Smith},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {The Implementation of Procedurally Reflective Languages},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {331--347},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802050},
doi = {10.1145/800055.802050},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/RivieresS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Saint-James84,
author = {Emmanuel Saint{-}James},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {Recursion is More Efficient than Iteration},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {228--234},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802039},
doi = {10.1145/800055.802039},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Saint-James84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Sheeran84,
author = {Mary Sheeran},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {muFP, {A} Language for {VLSI} Design},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {104--112},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802026},
doi = {10.1145/800055.802026},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Sheeran84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Smolka84,
author = {Gert Smolka},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {Making Control and Data Flow in Logic Programs Explicit},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {311--322},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802048},
doi = {10.1145/800055.802048},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Smolka84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/StefanPBB84,
author = {Gheorghe Stefan and
Aurel Paun and
Virgil Bistriceanu and
Andy Birnbaum},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {{DIALISP} - {A} Lisp Machine},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {123--128},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802028},
doi = {10.1145/800055.802028},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/StefanPBB84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Stoyan84,
author = {Herbert Stoyan},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {Early {LISP} History {(1956-1959)}},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {299--310},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802047},
doi = {10.1145/800055.802047},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Stoyan84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/StoyeCN84,
author = {W. R. Stoye and
T. J. W. Clarke and
A. C. Norman},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {Some Practical Methods for Rapid Combinator Reduction},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {159--166},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802032},
doi = {10.1145/800055.802032},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfp/StoyeCN84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Wadler84,
author = {Philip Wadler},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {Listlessness is Better than Laziness: Lazy Evaluation and Garbage
Collection at Compile Time},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {45--52},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802020},
doi = {10.1145/800055.802020},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Wadler84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/WholeyF84,
author = {Skef Wholey and
Scott E. Fahlman},
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {The Design of an Instruction Set for Common Lisp},
booktitle = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
pages = {150--158},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055.802031},
doi = {10.1145/800055.802031},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/WholeyF84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfp/1984,
editor = {Robert S. Boyer and
Edward S. Schneider and
Guy L. Steele Jr.},
title = {Proceedings of the 1984 {ACM} Conference on {LISP} and Functional
Programming, {LFP} 1984, Austin, Texas, USA, August 5-8, 1984},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800055},
doi = {10.1145/800055},
isbn = {0-89791-142-3},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/1984.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/BatesDK82,
author = {Raymond L. Bates and
David Dyer and
Johannes A. G. M. Koomen},
editor = {David M. R. Park and
Daniel P. Friedman and
David S. Wise and
Guy L. Steele Jr.},
title = {Implementation of Interlisp on the {VAX}},
booktitle = {Proceedings of the 1982 {ACM} Symposium on {LISP} and Functional Programming,
{LFP} 1980, Pittsburgh, PA, USA, August 15-18, 1982},
pages = {81--87},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800068.802138},
doi = {10.1145/800068.802138},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/BatesDK82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Bohm82,
author = {Corrado B{\"{o}}hm},
editor = {David M. R. Park and
Daniel P. Friedman and
David S. Wise and
Guy L. Steele Jr.},
title = {Combinatory Foundation of Functional Programming},
booktitle = {Proceedings of the 1982 {ACM} Symposium on {LISP} and Functional Programming,
{LFP} 1980, Pittsburgh, PA, USA, August 15-18, 1982},
pages = {29--36},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800068.802132},
doi = {10.1145/800068.802132},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Bohm82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/BrooksGS82,
author = {Rodney A. Brooks and
Richard P. Gabriel and
Guy L. Steele Jr.},
editor = {David M. R. Park and
Daniel P. Friedman and
David S. Wise and
Guy L. Steele Jr.},
title = {{S-1} Common Lisp Implementation},
booktitle = {Proceedings of the 1982 {ACM} Symposium on {LISP} and Functional Programming,
{LFP} 1980, Pittsburgh, PA, USA, August 15-18, 1982},
pages = {108--113},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800068.802141},
doi = {10.1145/800068.802141},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/BrooksGS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/CartwrightD82,
author = {Robert Cartwright and
James E. Donahue},
editor = {David M. R. Park and
Daniel P. Friedman and
David S. Wise and
Guy L. Steele Jr.},
title = {The Semantics of Lazy (and Industrious) Evaluation},
booktitle = {Proceedings of the 1982 {ACM} Symposium on {LISP} and Functional Programming,
{LFP} 1980, Pittsburgh, PA, USA, August 15-18, 1982},
pages = {253--264},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800068.802157},
doi = {10.1145/800068.802157},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/CartwrightD82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Clinger82,
author = {William D. Clinger},
editor = {David M. R. Park and
Daniel P. Friedman and
David S. Wise and
Guy L. Steele Jr.},
title = {Nondeterministic Call by Need is Neither Lazy Nor by Name},
booktitle = {Proceedings of the 1982 {ACM} Symposium on {LISP} and Functional Programming,
{LFP} 1980, Pittsburgh, PA, USA, August 15-18, 1982},
pages = {226--234},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800068.802154},
doi = {10.1145/800068.802154},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Clinger82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/CohenM82,
author = {A. Toni Cohen and
Thomas J. Myers},
editor = {David M. R. Park and
Daniel P. Friedman and
David S. Wise and
Guy L. Steele Jr.},
title = {Toward an Algebra of Nondeterministic Programs},
booktitle = {Proceedings of the 1982 {ACM} Symposium on {LISP} and Functional Programming,
{LFP} 1980, Pittsburgh, PA, USA, August 15-18, 1982},
pages = {235--242},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800068.802155},
doi = {10.1145/800068.802155},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/CohenM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Dawson82,
author = {Jeffrey L. Dawson},
editor = {David M. R. Park and
Daniel P. Friedman and
David S. Wise and
Guy L. Steele Jr.},
title = {Improved Effectiveness from a Real Time Lisp Garbage Collector},
booktitle = {Proceedings of the 1982 {ACM} Symposium on {LISP} and Functional Programming,
{LFP} 1980, Pittsburgh, PA, USA, August 15-18, 1982},
pages = {159--167},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800068.802146},
doi = {10.1145/800068.802146},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Dawson82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/EggertS82,
author = {Paul R. Eggert and
D. Val Schorre},
editor = {David M. R. Park and
Daniel P. Friedman and
David S. Wise and
Guy L. Steele Jr.},
title = {Logic Enhancement: {A} Metho for Extending Logic Programming Languages},
booktitle = {Proceedings of the 1982 {ACM} Symposium on {LISP} and Functional Programming,
{LFP} 1980, Pittsburgh, PA, USA, August 15-18, 1982},
pages = {74--80},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800068.802137},
doi = {10.1145/800068.802137},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/EggertS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Feldman82,
author = {Gary Feldman},
editor = {David M. R. Park and
Daniel P. Friedman and
David S. Wise and
Guy L. Steele Jr.},
title = {Functional Specifications of a Text Editor},
booktitle = {Proceedings of the 1982 {ACM} Symposium on {LISP} and Functional Programming,
{LFP} 1980, Pittsburgh, PA, USA, August 15-18, 1982},
pages = {37--46},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800068.802133},
doi = {10.1145/800068.802133},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Feldman82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/GabrielM82,
author = {Richard P. Gabriel and
Larry Masinter},
editor = {David M. R. Park and
Daniel P. Friedman and
David S. Wise and
Guy L. Steele Jr.},
title = {Performance of Lisp Systems},
booktitle = {Proceedings of the 1982 {ACM} Symposium on {LISP} and Functional Programming,
{LFP} 1980, Pittsburgh, PA, USA, August 15-18, 1982},
pages = {123--142},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800068.802143},
doi = {10.1145/800068.802143},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/GabrielM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Georgeff82,
author = {Michael P. Georgeff},
editor = {David M. R. Park and
Daniel P. Friedman and
David S. Wise and
Guy L. Steele Jr.},
title = {A Scheme for Implementing Functional Values on a Stack Machine},
booktitle = {Proceedings of the 1982 {ACM} Symposium on {LISP} and Functional Programming,
{LFP} 1980, Pittsburgh, PA, USA, August 15-18, 1982},
pages = {188--195},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800068.802149},
doi = {10.1145/800068.802149},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Georgeff82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/GotoSIIIHSSP82,
author = {Eiichi Goto and
Takashi Soma and
N. Inada and
Tetsuo Ida and
Masanori Idesawa and
Kei Hiraki and
M. Suzuki and
Kentaro Shimizu and
B. Philipov},
editor = {David M. R. Park and
Daniel P. Friedman and
David S. Wise and
Guy L. Steele Jr.},
title = {Design of a Lisp Machine - {FLATS}},
booktitle = {Proceedings of the 1982 {ACM} Symposium on {LISP} and Functional Programming,
{LFP} 1980, Pittsburgh, PA, USA, August 15-18, 1982},
pages = {208--215},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800068.802152},
doi = {10.1145/800068.802152},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/GotoSIIIHSSP82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/GrissBM82,
author = {Martin L. Griss and
Eric Benson and
Gerald Q. Maguire Jr.},
editor = {David M. R. Park and
Daniel P. Friedman and
David S. Wise and
Guy L. Steele Jr.},
title = {{PSL:} {A} Portable {LISP} System},
booktitle = {Proceedings of the 1982 {ACM} Symposium on {LISP} and Functional Programming,
{LFP} 1980, Pittsburgh, PA, USA, August 15-18, 1982},
pages = {88--97},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800068.802139},
doi = {10.1145/800068.802139},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/GrissBM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Gutierrez82,
author = {Claudio Guti{\'{e}}rrez},
editor = {David M. R. Park and
Daniel P. Friedman and
David S. Wise and
Guy L. Steele Jr.},
title = {Prolog Compared with Lisp},
booktitle = {Proceedings of the 1982 {ACM} Symposium on {LISP} and Functional Programming,
{LFP} 1980, Pittsburgh, PA, USA, August 15-18, 1982},
pages = {143--149},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800068.802144},
doi = {10.1145/800068.802144},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Gutierrez82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Henderson82,
author = {Peter Henderson},
editor = {David M. R. Park and
Daniel P. Friedman and
David S. Wise and
Guy L. Steele Jr.},
title = {Functional Geometry},
booktitle = {Proceedings of the 1982 {ACM} Symposium on {LISP} and Functional Programming,
{LFP} 1980, Pittsburgh, PA, USA, August 15-18, 1982},
pages = {179--187},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800068.802148},
doi = {10.1145/800068.802148},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Henderson82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/HudakK82,
author = {Paul Hudak and
Robert M. Keller},
editor = {David M. R. Park and
Daniel P. Friedman and
David S. Wise and
Guy L. Steele Jr.},
title = {Garbage Collection and Task Deletion in Distributed Applicative Processing
Systems},
booktitle = {Proceedings of the 1982 {ACM} Symposium on {LISP} and Functional Programming,
{LFP} 1980, Pittsburgh, PA, USA, August 15-18, 1982},
pages = {168--178},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800068.802147},
doi = {10.1145/800068.802147},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/HudakK82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Hughes82,
author = {R. J. M. Hughes},
editor = {David M. R. Park and
Daniel P. Friedman and
David S. Wise and
Guy L. Steele Jr.},
title = {Super Combinators: {A} New Implementation Method for Applicative Languages},
booktitle = {Proceedings of the 1982 {ACM} Symposium on {LISP} and Functional Programming,
{LFP} 1980, Pittsburgh, PA, USA, August 15-18, 1982},
pages = {1--10},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800068.802129},
doi = {10.1145/800068.802129},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Hughes82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Jones82,
author = {Simon L. Peyton Jones},
editor = {David M. R. Park and
Daniel P. Friedman and
David S. Wise and
Guy L. Steele Jr.},
title = {An Investigation of the Relative Efficiencies of Combinators and Lambda
Expressions},
booktitle = {Proceedings of the 1982 {ACM} Symposium on {LISP} and Functional Programming,
{LFP} 1980, Pittsburgh, PA, USA, August 15-18, 1982},
pages = {150--158},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800068.802145},
doi = {10.1145/800068.802145},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Jones82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/KennawayS82,
author = {Richard Kennaway and
M. Ronan Sleep},
editor = {David M. R. Park and
Daniel P. Friedman and
David S. Wise and
Guy L. Steele Jr.},
title = {Expressions as Processes},
booktitle = {Proceedings of the 1982 {ACM} Symposium on {LISP} and Functional Programming,
{LFP} 1980, Pittsburgh, PA, USA, August 15-18, 1982},
pages = {21--28},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800068.802131},
doi = {10.1145/800068.802131},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/KennawayS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/MacQueenS82,
author = {David B. MacQueen and
Ravi Sethi},
editor = {David M. R. Park and
Daniel P. Friedman and
David S. Wise and
Guy L. Steele Jr.},
title = {A Semantic Model of Types for Applicative Languages},
booktitle = {Proceedings of the 1982 {ACM} Symposium on {LISP} and Functional Programming,
{LFP} 1980, Pittsburgh, PA, USA, August 15-18, 1982},
pages = {243--252},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800068.802156},
doi = {10.1145/800068.802156},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/MacQueenS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Mago82,
author = {Gyula Mag{\'{o}}},
editor = {David M. R. Park and
Daniel P. Friedman and
David S. Wise and
Guy L. Steele Jr.},
title = {Data Sharing in an {FFP} Machine},
booktitle = {Proceedings of the 1982 {ACM} Symposium on {LISP} and Functional Programming,
{LFP} 1980, Pittsburgh, PA, USA, August 15-18, 1982},
pages = {201--207},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800068.802151},
doi = {10.1145/800068.802151},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Mago82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Moss82,
author = {Christopher D. S. Moss},
editor = {David M. R. Park and
Daniel P. Friedman and
David S. Wise and
Guy L. Steele Jr.},
title = {How to Define a Language Using {PROLOG}},
booktitle = {Proceedings of the 1982 {ACM} Symposium on {LISP} and Functional Programming,
{LFP} 1980, Pittsburgh, PA, USA, August 15-18, 1982},
pages = {67--73},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800068.802136},
doi = {10.1145/800068.802136},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Moss82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/MuchnickJ82,
author = {Steven S. Muchnick and
Neil D. Jones},
editor = {David M. R. Park and
Daniel P. Friedman and
David S. Wise and
Guy L. Steele Jr.},
title = {A Fixed-Program Machine for Combinator Expression Evaluation},
booktitle = {Proceedings of the 1982 {ACM} Symposium on {LISP} and Functional Programming,
{LFP} 1980, Pittsburgh, PA, USA, August 15-18, 1982},
pages = {11--20},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800068.802130},
doi = {10.1145/800068.802130},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/MuchnickJ82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/ReesA82,
author = {Jonathan Rees and
Norman Adams},
editor = {David M. R. Park and
Daniel P. Friedman and
David S. Wise and
Guy L. Steele Jr.},
title = {{T:} {A} Dialect of Lisp or, {LAMBDA:} The Ultimate Software Tool},
booktitle = {Proceedings of the 1982 {ACM} Symposium on {LISP} and Functional Programming,
{LFP} 1980, Pittsburgh, PA, USA, August 15-18, 1982},
pages = {114--122},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800068.802142},
doi = {10.1145/800068.802142},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/ReesA82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Steele82,
author = {Guy L. Steele Jr.},
editor = {David M. R. Park and
Daniel P. Friedman and
David S. Wise and
Guy L. Steele Jr.},
title = {An Overview of Common Lisp},
booktitle = {Proceedings of the 1982 {ACM} Symposium on {LISP} and Functional Programming,
{LFP} 1980, Pittsburgh, PA, USA, August 15-18, 1982},
pages = {98--107},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800068.802140},
doi = {10.1145/800068.802140},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfp/Steele82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/TurchinNT82,
author = {Valentin F. Turchin and
Robert M. Nirenberg and
Dimitri V. Turchin},
editor = {David M. R. Park and
Daniel P. Friedman and
David S. Wise and
Guy L. Steele Jr.},
title = {Experiments with a Supercompiler},
booktitle = {Proceedings of the 1982 {ACM} Symposium on {LISP} and Functional Programming,
{LFP} 1980, Pittsburgh, PA, USA, August 15-18, 1982},
pages = {47--55},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800068.802134},
doi = {10.1145/800068.802134},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/TurchinNT82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/White82,
author = {Jon L. White},
editor = {David M. R. Park and
Daniel P. Friedman and
David S. Wise and
Guy L. Steele Jr.},
title = {Constant Time Interpretation for Shallow-bound Variables in the Presence
of Mixed {SPECIAL/LOCAL} Declarations},
booktitle = {Proceedings of the 1982 {ACM} Symposium on {LISP} and Functional Programming,
{LFP} 1980, Pittsburgh, PA, USA, August 15-18, 1982},
pages = {196--200},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800068.802150},
doi = {10.1145/800068.802150},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/White82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Wise82,
author = {Michael J. Wise},
editor = {David M. R. Park and
Daniel P. Friedman and
David S. Wise and
Guy L. Steele Jr.},
title = {A Parallel Prolog: The Construction of a Data Driven Model},
booktitle = {Proceedings of the 1982 {ACM} Symposium on {LISP} and Functional Programming,
{LFP} 1980, Pittsburgh, PA, USA, August 15-18, 1982},
pages = {56--66},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800068.802135},
doi = {10.1145/800068.802135},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Wise82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfp/1982,
editor = {David M. R. Park and
Daniel P. Friedman and
David S. Wise and
Guy L. Steele Jr.},
title = {Proceedings of the 1982 {ACM} Symposium on {LISP} and Functional Programming,
{LFP} 1980, Pittsburgh, PA, USA, August 15-18, 1982},
publisher = {{ACM}},
year = {1982},
url = {https://doi.org/10.1145/800068},
doi = {10.1145/800068},
isbn = {0-89791-082-6},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/1982.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/000180,
author = {John McCarthy},
title = {{LISP} - notes on its past and future},
booktitle = {Proceedings of the 1980 {LISP} Conference, Stanford, California, USA,
August 25-27, 1980},
pages = {v--viii},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800087.802782},
doi = {10.1145/800087.802782},
timestamp = {Fri, 06 Aug 2021 15:08:55 +0200},
biburl = {https://dblp.org/rec/conf/lfp/000180.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/BurstallMS80,
author = {Rod M. Burstall and
David B. MacQueen and
Donald Sannella},
title = {{HOPE:} An Experimental Applicative Language},
booktitle = {Proceedings of the 1980 {LISP} Conference, Stanford, California, USA,
August 25-27, 1980},
pages = {136--143},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800087.802799},
doi = {10.1145/800087.802799},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/BurstallMS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/BurtonMBHKS80,
author = {Richard R. Burton and
Larry Masinter and
Daniel G. Bobrow and
W. Haugeland and
Ronald M. Kaplan and
B. A. Sheil},
title = {Overview and Status of DoradoLISP},
booktitle = {Proceedings of the 1980 {LISP} Conference, Stanford, California, USA,
August 25-27, 1980},
pages = {243--247},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800087.802812},
doi = {10.1145/800087.802812},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/BurtonMBHKS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/CampbellF80,
author = {John A. Campbell and
John P. Fitch},
title = {Symbolic Computing with and without Lisp},
booktitle = {Proceedings of the 1980 {LISP} Conference, Stanford, California, USA,
August 25-27, 1980},
pages = {1--5},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800087.802783},
doi = {10.1145/800087.802783},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/CampbellF80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Cartwright80,
author = {Robert Cartwright},
title = {A Constructive Alternative to Axiomatic Data Type Definitions},
booktitle = {Proceedings of the 1980 {LISP} Conference, Stanford, California, USA,
August 25-27, 1980},
pages = {46--55},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800087.802789},
doi = {10.1145/800087.802789},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Cartwright80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/ClarkeGMN80,
author = {T. J. W. Clarke and
P. Gladstone and
C. MacLean and
A. C. Norman},
title = {{SKIM} - The S, K, {I} Reduction Machine},
booktitle = {Proceedings of the 1980 {LISP} Conference, Stanford, California, USA,
August 25-27, 1980},
pages = {128--135},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800087.802798},
doi = {10.1145/800087.802798},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/ClarkeGMN80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/DavenportJ80,
author = {James H. Davenport and
Richard D. Jenks},
title = {{MODLISP}},
booktitle = {Proceedings of the 1980 {LISP} Conference, Stanford, California, USA,
August 25-27, 1980},
pages = {65--74},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800087.802791},
doi = {10.1145/800087.802791},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/DavenportJ80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Deutsch80,
author = {L. Peter Deutsch},
title = {ByteLisp and its Alto Implementation},
booktitle = {Proceedings of the 1980 {LISP} Conference, Stanford, California, USA,
August 25-27, 1980},
pages = {231--242},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800087.802811},
doi = {10.1145/800087.802811},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Deutsch80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/EmanuelsonH80,
author = {P{\"{a}}r Emanuelson and
Anders Haraldsson},
title = {On Compiling Embedded Languages in {LISP}},
booktitle = {Proceedings of the 1980 {LISP} Conference, Stanford, California, USA,
August 25-27, 1980},
pages = {208--215},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800087.802808},
doi = {10.1145/800087.802808},
timestamp = {Fri, 15 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/EmanuelsonH80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/GoldsteinB80,
author = {Ira P. Goldstein and
Daniel G. Bobrow},
title = {Extenting Object Oriented Programming in Smalltalk},
booktitle = {Proceedings of the 1980 {LISP} Conference, Stanford, California, USA,
August 25-27, 1980},
pages = {75--81},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800087.802792},
doi = {10.1145/800087.802792},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/GoldsteinB80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Greenberg80,
author = {B. Greenberg},
title = {Prose and {CONS} - Multics Emacs: {A} Commercial Text-processing System
in {LISP}},
booktitle = {Proceedings of the 1980 {LISP} Conference, Stanford, California, USA,
August 25-27, 1980},
pages = {6--12},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800087.802784},
doi = {10.1145/800087.802784},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Greenberg80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Hewitt80,
author = {Carl Hewitt},
title = {The Apiary network architecture for knowledgeable systems},
booktitle = {Proceedings of the 1980 {LISP} Conference, Stanford, California, USA,
August 25-27, 1980},
pages = {107--118},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800087.802796},
doi = {10.1145/800087.802796},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Hewitt80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Keller80,
author = {Robert M. Keller},
title = {Divide and CONCer: Data Structuring in Applicative Multiprocessing
Systems},
booktitle = {Proceedings of the 1980 {LISP} Conference, Stanford, California, USA,
August 25-27, 1980},
pages = {196--202},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800087.802806},
doi = {10.1145/800087.802806},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Keller80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Kurokawa80,
author = {Toshiaki Kurokawa},
title = {The Function-Class},
booktitle = {Proceedings of the 1980 {LISP} Conference, Stanford, California, USA,
August 25-27, 1980},
pages = {38--45},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800087.802788},
doi = {10.1145/800087.802788},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Kurokawa80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Lakin80,
author = {Fred Lakin},
title = {Computing with Text-Graphics Forms},
booktitle = {Proceedings of the 1980 {LISP} Conference, Stanford, California, USA,
August 25-27, 1980},
pages = {100--106},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800087.802795},
doi = {10.1145/800087.802795},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Lakin80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/LiebermanH80,
author = {Henry Lieberman and
Carl Hewitt},
title = {A Session with Tinker: Interleaving Program Testing with Program Writing},
booktitle = {Proceedings of the 1980 {LISP} Conference, Stanford, California, USA,
August 25-27, 1980},
pages = {90--99},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800087.802794},
doi = {10.1145/800087.802794},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/LiebermanH80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Marti80,
author = {Jed B. Marti},
title = {Compilation Techniques for a Control-Flow Concurrent {LISP} System},
booktitle = {Proceedings of the 1980 {LISP} Conference, Stanford, California, USA,
August 25-27, 1980},
pages = {203--207},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800087.802807},
doi = {10.1145/800087.802807},
timestamp = {Thu, 28 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Marti80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/MasinterD80,
author = {Larry Masinter and
L. Peter Deutsch},
title = {Local Optimization in a Compiler for Stack-based {LISP} Machines},
booktitle = {Proceedings of the 1980 {LISP} Conference, Stanford, California, USA,
August 25-27, 1980},
pages = {223--230},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800087.802810},
doi = {10.1145/800087.802810},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/MasinterD80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/McDermott80,
author = {Drew V. McDermott},
title = {An Efficient Environment Allocation Scheme in an Interpreter for a
Lexically-Scoped {LISP}},
booktitle = {Proceedings of the 1980 {LISP} Conference, Stanford, California, USA,
August 25-27, 1980},
pages = {154--162},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800087.802801},
doi = {10.1145/800087.802801},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/McDermott80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/McKayS80,
author = {Donald P. McKay and
Stuart C. Shapiro},
title = {{MULTI} - {A} {LISP} Based Multiprocessing System},
booktitle = {Proceedings of the 1980 {LISP} Conference, Stanford, California, USA,
August 25-27, 1980},
pages = {29--37},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800087.802787},
doi = {10.1145/800087.802787},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/McKayS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Model80,
author = {M. Model},
title = {Multiprocessing via Intercommunicating {LISP} Systems},
booktitle = {Proceedings of the 1980 {LISP} Conference, Stanford, California, USA,
August 25-27, 1980},
pages = {188--195},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800087.802805},
doi = {10.1145/800087.802805},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Model80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/MorrisS80,
author = {F. Lockwood Morris and
J. Schwarz},
title = {Computing Cyclic List Structures},
booktitle = {Proceedings of the 1980 {LISP} Conference, Stanford, California, USA,
August 25-27, 1980},
pages = {144--153},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800087.802800},
doi = {10.1145/800087.802800},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/MorrisS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/MuchnickP80,
author = {Steven S. Muchnick and
Uwe F. Pleban},
title = {A Semantic Comparison of {LISP} and Scheme},
booktitle = {Proceedings of the 1980 {LISP} Conference, Stanford, California, USA,
August 25-27, 1980},
pages = {56--64},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800087.802790},
doi = {10.1145/800087.802790},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/MuchnickP80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Pitman80,
author = {Kent M. Pitman},
title = {Special Forms in {LISP}},
booktitle = {Proceedings of the 1980 {LISP} Conference, Stanford, California, USA,
August 25-27, 1980},
pages = {179--187},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800087.802804},
doi = {10.1145/800087.802804},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Pitman80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Print80,
author = {G. Print},
title = {Explicit Parallelism in LISP-like Languages},
booktitle = {Proceedings of the 1980 {LISP} Conference, Stanford, California, USA,
August 25-27, 1980},
pages = {13--18},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800087.802785},
doi = {10.1145/800087.802785},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Print80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Rowan80,
author = {W. Rowan},
title = {A {LISP} Compiler Producing Compact Code},
booktitle = {Proceedings of the 1980 {LISP} Conference, Stanford, California, USA,
August 25-27, 1980},
pages = {216--222},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800087.802809},
doi = {10.1145/800087.802809},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Rowan80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/SandewallSS80,
author = {Erik Sandewall and
Henrik S{\"{o}}rensen and
Claes Str{\"{o}}mberg},
title = {A System of Communicating Residential Environments},
booktitle = {Proceedings of the 1980 {LISP} Conference, Stanford, California, USA,
August 25-27, 1980},
pages = {82--89},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800087.802793},
doi = {10.1145/800087.802793},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/SandewallSS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Steele80,
author = {B. Steele},
title = {Strategies for Data Abstraction in {LISP}},
booktitle = {Proceedings of the 1980 {LISP} Conference, Stanford, California, USA,
August 25-27, 1980},
pages = {173--178},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800087.802803},
doi = {10.1145/800087.802803},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Steele80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/SteeleS80,
author = {Guy L. Steele Jr. and
Gerald J. Sussman},
title = {The Dream of Lifetime: {A} Lazy Variable Extent Mechanism},
booktitle = {Proceedings of the 1980 {LISP} Conference, Stanford, California, USA,
August 25-27, 1980},
pages = {163--172},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800087.802802},
doi = {10.1145/800087.802802},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/SteeleS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/Wand80,
author = {Mitchell Wand},
title = {Continuation-Based Multiprocessing},
booktitle = {Proceedings of the 1980 {LISP} Conference, Stanford, California, USA,
August 25-27, 1980},
pages = {19--28},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800087.802786},
doi = {10.1145/800087.802786},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/Wand80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/White80,
author = {J. White},
title = {Address/Memory Management for a Gigantic {LISP} Environment},
booktitle = {Proceedings of the 1980 {LISP} Conference, Stanford, California, USA,
August 25-27, 1980},
pages = {119--127},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800087.802797},
doi = {10.1145/800087.802797},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/White80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfp/1980,
title = {Proceedings of the 1980 {LISP} Conference, Stanford, California, USA,
August 25-27, 1980},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800087},
doi = {10.1145/800087},
isbn = {978-1-4503-7396-8},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfp/1980.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 2024-11-08 12:47 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:
