Search dblp for Publications

export results for "toc:db/conf/lfp/lfp1992.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.