Search dblp for Publications

export results for "toc:db/conf/pepm/pepm91.bht:"

 download as .bib file

@inproceedings{DBLP:conf/pepm/AriolaA91,
  author       = {Zena M. Ariola and
                  Arvind},
  editor       = {Charles Consel and
                  Olivier Danvy},
  title        = {A Syntactic Approach to Program Transformations},
  booktitle    = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
                  Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
                  USA, June 17-19, 1991},
  pages        = {116--129},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/115865.115878},
  doi          = {10.1145/115865.115878},
  timestamp    = {Fri, 09 Jul 2021 14:03:46 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/AriolaA91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/CortesiF91,
  author       = {Agostino Cortesi and
                  Gilberto Fil{\'{e}}},
  editor       = {Charles Consel and
                  Olivier Danvy},
  title        = {Abstract Interpretation of Logic Programs: An Abstract Domain for
                  Groundness, Sharing, Freeness and Compoundness Analysis},
  booktitle    = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
                  Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
                  USA, June 17-19, 1991},
  pages        = {52--61},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/115865.115872},
  doi          = {10.1145/115865.115872},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/CortesiF91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Gluck91,
  author       = {Robert Gl{\"{u}}ck},
  editor       = {Charles Consel and
                  Olivier Danvy},
  title        = {Towards Multiple Self-Application},
  booktitle    = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
                  Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
                  USA, June 17-19, 1991},
  pages        = {309--320},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/115865.115900},
  doi          = {10.1145/115865.115900},
  timestamp    = {Fri, 09 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/Gluck91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/GomardS91,
  author       = {Carsten K. Gomard and
                  Peter Sestoft},
  editor       = {Charles Consel and
                  Olivier Danvy},
  title        = {Globalization and Live Variables},
  booktitle    = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
                  Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
                  USA, June 17-19, 1991},
  pages        = {166--177},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/115865.115882},
  doi          = {10.1145/115865.115882},
  timestamp    = {Fri, 09 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/GomardS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Hannan91,
  author       = {John Hannan},
  editor       = {Charles Consel and
                  Olivier Danvy},
  title        = {Staging Transformations for Abstract Machines},
  booktitle    = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
                  Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
                  USA, June 17-19, 1991},
  pages        = {130--141},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/115865.115879},
  doi          = {10.1145/115865.115879},
  timestamp    = {Fri, 09 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/Hannan91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Hansen91,
  author       = {Torben Amtoft Hansen},
  editor       = {Charles Consel and
                  Olivier Danvy},
  title        = {Properties of Unfolding-based Meta-level Systems},
  booktitle    = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
                  Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
                  USA, June 17-19, 1991},
  pages        = {243--254},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/115865.115892},
  doi          = {10.1145/115865.115892},
  timestamp    = {Fri, 09 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/Hansen91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/HickeyS91,
  author       = {Timothy J. Hickey and
                  Donald A. Smith},
  editor       = {Charles Consel and
                  Olivier Danvy},
  title        = {Toward the Partial Evaluation of {CLP} Languages},
  booktitle    = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
                  Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
                  USA, June 17-19, 1991},
  pages        = {43--51},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/115865.115871},
  doi          = {10.1145/115865.115871},
  timestamp    = {Fri, 09 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/HickeyS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/HolstG91,
  author       = {Carsten Kehler Holst and
                  Carsten K. Gomard},
  editor       = {Charles Consel and
                  Olivier Danvy},
  title        = {Partial Evaluation is Fuller Laziness},
  booktitle    = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
                  Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
                  USA, June 17-19, 1991},
  pages        = {223--233},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/115865.115890},
  doi          = {10.1145/115865.115890},
  timestamp    = {Fri, 09 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/HolstG91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/HuntS91,
  author       = {Sebastian Hunt and
                  David Sands},
  editor       = {Charles Consel and
                  Olivier Danvy},
  title        = {Binding Time Analysis: {A} New PERspective},
  booktitle    = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
                  Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
                  USA, June 17-19, 1991},
  pages        = {154--165},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/115865.115881},
  doi          = {10.1145/115865.115881},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/HuntS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/KhooS91,
  author       = {Siau{-}Cheng Khoo and
                  R. S. Sundaresh},
  editor       = {Charles Consel and
                  Olivier Danvy},
  title        = {Compiling Inheritance using Partial Evaluation},
  booktitle    = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
                  Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
                  USA, June 17-19, 1991},
  pages        = {211--222},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/115865.115886},
  doi          = {10.1145/115865.115886},
  timestamp    = {Fri, 09 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/KhooS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Klimov91,
  author       = {Andrei V. Klimov},
  editor       = {Charles Consel and
                  Olivier Danvy},
  title        = {Dynamic Specialization in Extended Functional Language with Monotone
                  Objects},
  booktitle    = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
                  Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
                  USA, June 17-19, 1991},
  pages        = {199--210},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/115865.376287},
  doi          = {10.1145/115865.376287},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/Klimov91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Lisper91,
  author       = {Bj{\"{o}}rn Lisper},
  editor       = {Charles Consel and
                  Olivier Danvy},
  title        = {Detecting Static Algorithms by Partial Evaluation},
  booktitle    = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
                  Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
                  USA, June 17-19, 1991},
  pages        = {31--42},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/115865.115870},
  doi          = {10.1145/115865.115870},
  timestamp    = {Fri, 09 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/Lisper91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/MasonT91,
  author       = {Ian A. Mason and
                  Carolyn L. Talcott},
  editor       = {Charles Consel and
                  Olivier Danvy},
  title        = {Program Transformations for Configuring Components},
  booktitle    = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
                  Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
                  USA, June 17-19, 1991},
  pages        = {297--308},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/115865.115898},
  doi          = {10.1145/115865.115898},
  timestamp    = {Fri, 09 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/MasonT91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/McNerney91,
  author       = {Timothy S. McNerney},
  editor       = {Charles Consel and
                  Olivier Danvy},
  title        = {Verifying the Correctness of Compiler Transformations on Basic Blocks
                  using Abstract Interpretation},
  booktitle    = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
                  Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
                  USA, June 17-19, 1991},
  pages        = {106--115},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/115865.115877},
  doi          = {10.1145/115865.115877},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/McNerney91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Meyer91,
  author       = {Uwe Meyer},
  editor       = {Charles Consel and
                  Olivier Danvy},
  title        = {Techniques for Partial Evaluation of Imperative Languages},
  booktitle    = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
                  Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
                  USA, June 17-19, 1991},
  pages        = {94--105},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/115865.115876},
  doi          = {10.1145/115865.115876},
  timestamp    = {Fri, 09 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/Meyer91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/MichaylovP91,
  author       = {Spiro Michaylov and
                  Frank Pfenning},
  editor       = {Charles Consel and
                  Olivier Danvy},
  title        = {Compiling the Polymorphic Lambda-Calculus},
  booktitle    = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
                  Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
                  USA, June 17-19, 1991},
  pages        = {285--296},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/115865.115896},
  doi          = {10.1145/115865.115896},
  timestamp    = {Fri, 09 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/MichaylovP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Muller91,
  author       = {Robert Muller},
  editor       = {Charles Consel and
                  Olivier Danvy},
  title        = {{M-LISP:} Its Natural Semantics and Equational Logic (Extended Abstract)},
  booktitle    = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
                  Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
                  USA, June 17-19, 1991},
  pages        = {234--242},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/115865.115891},
  doi          = {10.1145/115865.115891},
  timestamp    = {Fri, 09 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/Muller91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/NielBV91,
  author       = {Anne De Niel and
                  Eddy Bevers and
                  Karel De Vlaminck},
  editor       = {Charles Consel and
                  Olivier Danvy},
  title        = {Program Bifurcation for a Polymorphic Typed Functional Language},
  booktitle    = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
                  Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
                  USA, June 17-19, 1991},
  pages        = {142--153},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/115865.115880},
  doi          = {10.1145/115865.115880},
  timestamp    = {Fri, 09 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/NielBV91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/ParkG91,
  author       = {Young Gil Park and
                  Benjamin Goldberg},
  editor       = {Charles Consel and
                  Olivier Danvy},
  title        = {Reference Escape Analysis: Optimizing Reference Counting based on
                  the Lifetime of References},
  booktitle    = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
                  Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
                  USA, June 17-19, 1991},
  pages        = {178--189},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/115865.115883},
  doi          = {10.1145/115865.115883},
  timestamp    = {Fri, 09 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/ParkG91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/ProiettiP91,
  author       = {Maurizio Proietti and
                  Alberto Pettorossi},
  editor       = {Charles Consel and
                  Olivier Danvy},
  title        = {Semantics Preserving Transformation Rules for Prolog},
  booktitle    = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
                  Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
                  USA, June 17-19, 1991},
  pages        = {274--284},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/115865.115895},
  doi          = {10.1145/115865.115895},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/ProiettiP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Romanenko91,
  author       = {Alexander Romanenko},
  editor       = {Charles Consel and
                  Olivier Danvy},
  title        = {Inversion and Metacomputation},
  booktitle    = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
                  Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
                  USA, June 17-19, 1991},
  pages        = {12--22},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/115865.115868},
  doi          = {10.1145/115865.115868},
  timestamp    = {Fri, 09 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/Romanenko91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/RufW91,
  author       = {Erik Ruf and
                  Daniel Weise},
  editor       = {Charles Consel and
                  Olivier Danvy},
  title        = {Using Types to Avoid Redundant Specialization},
  booktitle    = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
                  Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
                  USA, June 17-19, 1991},
  pages        = {321--333},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/115865.115902},
  doi          = {10.1145/115865.115902},
  timestamp    = {Fri, 09 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/RufW91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Sahlin91,
  author       = {Dan Sahlin},
  editor       = {Charles Consel and
                  Olivier Danvy},
  title        = {Determinacy Analysis for Full Prolog},
  booktitle    = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
                  Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
                  USA, June 17-19, 1991},
  pages        = {23--30},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/115865.115869},
  doi          = {10.1145/115865.115869},
  timestamp    = {Fri, 09 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/Sahlin91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/ShermanSD91,
  author       = {David J. Sherman and
                  Robert Strandh and
                  Ir{\`{e}}ne Durand},
  editor       = {Charles Consel and
                  Olivier Danvy},
  title        = {Optimization of Equational Programs Using Partial Evaluation},
  booktitle    = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
                  Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
                  USA, June 17-19, 1991},
  pages        = {72--82},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/115865.115874},
  doi          = {10.1145/115865.115874},
  timestamp    = {Sat, 31 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/ShermanSD91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Shivers91,
  author       = {Olin Shivers},
  editor       = {Charles Consel and
                  Olivier Danvy},
  title        = {The Semantics of Scheme Control-Flow Analysis},
  booktitle    = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
                  Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
                  USA, June 17-19, 1991},
  pages        = {190--198},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/115865.115884},
  doi          = {10.1145/115865.115884},
  timestamp    = {Fri, 09 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/Shivers91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Smith91,
  author       = {Donald A. Smith},
  editor       = {Charles Consel and
                  Olivier Danvy},
  title        = {Partial Evaluation of Pattern Matching in Constraint Logic Programming
                  Languages},
  booktitle    = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
                  Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
                  USA, June 17-19, 1991},
  pages        = {62--71},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/115865.115873},
  doi          = {10.1145/115865.115873},
  timestamp    = {Fri, 09 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/Smith91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Sundaresh91,
  author       = {R. S. Sundaresh},
  editor       = {Charles Consel and
                  Olivier Danvy},
  title        = {Building Incremental Programs using Partial Evaluation},
  booktitle    = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
                  Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
                  USA, June 17-19, 1991},
  pages        = {83--93},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/115865.115875},
  doi          = {10.1145/115865.115875},
  timestamp    = {Fri, 09 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/Sundaresh91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Takano91,
  author       = {Akihiko Takano},
  editor       = {Charles Consel and
                  Olivier Danvy},
  title        = {Generalized Partial Computation for a Lazy Functional Language},
  booktitle    = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
                  Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
                  USA, June 17-19, 1991},
  pages        = {1--11},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/115865.115867},
  doi          = {10.1145/115865.115867},
  timestamp    = {Fri, 09 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/Takano91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Wadler91,
  author       = {Philip Wadler},
  editor       = {Charles Consel and
                  Olivier Danvy},
  title        = {Is There a Use for Linear Logic?},
  booktitle    = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
                  Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
                  USA, June 17-19, 1991},
  pages        = {255--273},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/115865.115894},
  doi          = {10.1145/115865.115894},
  timestamp    = {Fri, 09 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/Wadler91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/1991,
  editor       = {Charles Consel and
                  Olivier Danvy},
  title        = {Proceedings of the Symposium on Partial Evaluation and Semantics-Based
                  Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut,
                  USA, June 17-19, 1991},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/115865},
  doi          = {10.1145/115865},
  isbn         = {0-89791-433-3},
  timestamp    = {Fri, 09 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pepm/1991.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics