Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/popl/popl95.bht:"
download as .bib file
@inproceedings{DBLP:conf/popl/AltucherL95,
author = {Rita Z. Altucher and
William Landi},
editor = {Ron K. Cytron and
Peter Lee},
title = {An Extended Form of Must Alias Analysis for Dynamic Allocation},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {74--84},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199466},
doi = {10.1145/199448.199466},
timestamp = {Fri, 18 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/AltucherL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AriolaFMOW95,
author = {Zena M. Ariola and
Matthias Felleisen and
John Maraist and
Martin Odersky and
Philip Wadler},
editor = {Ron K. Cytron and
Peter Lee},
title = {The Call-by-Need Lambda Calculus},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {233--246},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199507},
doi = {10.1145/199448.199507},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/AriolaFMOW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BaileyD95,
author = {Mark W. Bailey and
Jack W. Davidson},
editor = {Ron K. Cytron and
Peter Lee},
title = {A Formal Model of Procedure Calling Conventions},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {298--310},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199517},
doi = {10.1145/199448.199517},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/BaileyD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Biswas95,
author = {Sandip K. Biswas},
editor = {Ron K. Cytron and
Peter Lee},
title = {Higher-Order Functors with Transparent Signatures},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {154--163},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199478},
doi = {10.1145/199448.199478},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Biswas95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Bloom95,
author = {Bard Bloom},
editor = {Ron K. Cytron and
Peter Lee},
title = {Structured Operational Semantics as a Specification Language},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {107--117},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199472},
doi = {10.1145/199448.199472},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Bloom95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BouajjaniEH95,
author = {Ahmed Bouajjani and
Rachid Echahed and
Peter Habermehl},
editor = {Ron K. Cytron and
Peter Lee},
title = {Verifying Infinite State Processes with Sequential and Parallel Composition},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {95--106},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199470},
doi = {10.1145/199448.199470},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/BouajjaniEH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BrookesD95,
author = {Stephen D. Brookes and
Denis Dancanet},
editor = {Ron K. Cytron and
Peter Lee},
title = {Sequential Algorithms, Deterministic Parallelism, and Intensional
Expressiveness},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {13--24},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199451},
doi = {10.1145/199448.199451},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/BrookesD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Cardelli95,
author = {Luca Cardelli},
editor = {Ron K. Cytron and
Peter Lee},
title = {A Language with Distributed Scope},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {286--297},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199516},
doi = {10.1145/199448.199516},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Cardelli95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CastagnaP95,
author = {Giuseppe Castagna and
Benjamin C. Pierce},
editor = {Ron K. Cytron and
Peter Lee},
title = {Corrigendum: Decidable Bounded Quantification},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {408},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199539},
doi = {10.1145/199448.199539},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/CastagnaP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/DawsonRRSSSW95,
author = {Steven Dawson and
C. R. Ramakrishnan and
I. V. Ramakrishnan and
Konstantinos Sagonas and
Steven Skiena and
Terrance Swift and
David Scott Warren},
editor = {Ron K. Cytron and
Peter Lee},
title = {Unification Factoring for Efficient Execution of Logic Programs},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {247--258},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199509},
doi = {10.1145/199448.199509},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/DawsonRRSSSW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/DuboisRW95,
author = {Catherine Dubois and
Fran{\c{c}}ois Rouaix and
Pierre Weis},
editor = {Ron K. Cytron and
Peter Lee},
title = {Generic Polymorphism},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {118--129},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199473},
doi = {10.1145/199448.199473},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/DuboisRW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/DuesterwaldGS95,
author = {Evelyn Duesterwald and
Rajiv Gupta and
Mary Lou Soffa},
editor = {Ron K. Cytron and
Peter Lee},
title = {Demand-driven Computation of Interprocedural Data Flow},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {37--48},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199461},
doi = {10.1145/199448.199461},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/DuesterwaldGS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/EmersonN95,
author = {E. Allen Emerson and
Kedar S. Namjoshi},
editor = {Ron K. Cytron and
Peter Lee},
title = {Reasoning about Rings},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {85--94},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199468},
doi = {10.1145/199448.199468},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/EmersonN95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FieldRT95,
author = {John Field and
G. Ramalingam and
Frank Tip},
editor = {Ron K. Cytron and
Peter Lee},
title = {Parametric Program Slicing},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {379--392},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199534},
doi = {10.1145/199448.199534},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/FieldRT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FlanaganF95,
author = {Cormac Flanagan and
Matthias Felleisen},
editor = {Ron K. Cytron and
Peter Lee},
title = {The Semantics of Future and Its Use in Program Optimizations},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {209--220},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199484},
doi = {10.1145/199448.199484},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/FlanaganF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HarperM95,
author = {Robert Harper and
J. Gregory Morrisett},
editor = {Ron K. Cytron and
Peter Lee},
title = {Compiling Polymorphism Using Intensional Type Analysis},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {130--141},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199475},
doi = {10.1145/199448.199475},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/HarperM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HoangM95,
author = {My Hoang and
John C. Mitchell},
editor = {Ron K. Cytron and
Peter Lee},
title = {Lower Bounds on Type Inference with Subtypes},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {176--185},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199481},
doi = {10.1145/199448.199481},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/HoangM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HofmannP95,
author = {Martin Hofmann and
Benjamin C. Pierce},
editor = {Ron K. Cytron and
Peter Lee},
title = {Positive Subtyping},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {186--197},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199482},
doi = {10.1145/199448.199482},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/HofmannP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/JagannathanW95,
author = {Suresh Jagannathan and
Stephen Weeks},
editor = {Ron K. Cytron and
Peter Lee},
title = {A Unified Treatment of Flow Analysis in Higher-Order Languages},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {393--407},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199536},
doi = {10.1145/199448.199536},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/JagannathanW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KingL95,
author = {David J. King and
John Launchbury},
editor = {Ron K. Cytron and
Peter Lee},
title = {Structuring Depth-First Search Algorithms in Haskell},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {344--354},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199530},
doi = {10.1145/199448.199530},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/KingL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Leroy95,
author = {Xavier Leroy},
editor = {Ron K. Cytron and
Peter Lee},
title = {Applicative Functors and Fully Transparent Higher-Order Modules},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {142--153},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199476},
doi = {10.1145/199448.199476},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Leroy95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/LiangHJ95,
author = {Sheng Liang and
Paul Hudak and
Mark P. Jones},
editor = {Ron K. Cytron and
Peter Lee},
title = {Monad Transformers and Modular Interpreters},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {333--343},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199528},
doi = {10.1145/199448.199528},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/LiangHJ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Mackie95,
author = {Ian Mackie},
editor = {Ron K. Cytron and
Peter Lee},
title = {The Geometry of Interaction Machine},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {198--208},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199483},
doi = {10.1145/199448.199483},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Mackie95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/PalsbergO95,
author = {Jens Palsberg and
Patrick O'Keefe},
editor = {Ron K. Cytron and
Peter Lee},
title = {A Type System Equivalent to Flow Analysis},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {367--378},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199533},
doi = {10.1145/199448.199533},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/PalsbergO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/PlevyakZC95,
author = {John Plevyak and
Xingbin Zhang and
Andrew A. Chien},
editor = {Ron K. Cytron and
Peter Lee},
title = {Obtaining Sequential Efficiency for Concurrent Object-Oriented Languages},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {311--321},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199524},
doi = {10.1145/199448.199524},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/PlevyakZC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Proebsting95,
author = {Todd A. Proebsting},
editor = {Ron K. Cytron and
Peter Lee},
title = {Optimizing an {ANSI} {C} Interpreter with Superoperators},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {322--332},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199526},
doi = {10.1145/199448.199526},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Proebsting95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/RepsHS95,
author = {Thomas W. Reps and
Susan Horwitz and
Shmuel Sagiv},
editor = {Ron K. Cytron and
Peter Lee},
title = {Precise Interprocedural Dataflow Analysis via Graph Reachability},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {49--61},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199462},
doi = {10.1145/199448.199462},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/RepsHS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Reynolds95,
author = {John C. Reynolds},
editor = {Ron K. Cytron and
Peter Lee},
title = {Using Functor Categories to Generate Intermediate Code},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {25--36},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199452},
doi = {10.1145/199448.199452},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Reynolds95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/RieckeV95,
author = {Jon G. Riecke and
Ramesh Viswanathan},
editor = {Ron K. Cytron and
Peter Lee},
title = {Isolating Side Effects in Sequential Languages},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {1--12},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199450},
doi = {10.1145/199448.199450},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/RieckeV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Sands95,
author = {David Sands},
editor = {Ron K. Cytron and
Peter Lee},
title = {Total Correctness by Local Improvement in Program Transformation},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {221--232},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199485},
doi = {10.1145/199448.199485},
timestamp = {Tue, 11 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Sands95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SansomJ95,
author = {Patrick M. Sansom and
Simon L. Peyton Jones},
editor = {Ron K. Cytron and
Peter Lee},
title = {Time and Space Profiling for Non-Strict Higher-Order Functional Languages},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {355--366},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199531},
doi = {10.1145/199448.199531},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/SansomJ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SaraswatJG95,
author = {Vijay A. Saraswat and
Radha Jagadeesan and
Vineet Gupta},
editor = {Ron K. Cytron and
Peter Lee},
title = {Default Timed Concurrent Constraint Programming},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {272--285},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199513},
doi = {10.1145/199448.199513},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/SaraswatJG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SchauserCG95,
author = {Klaus E. Schauser and
David E. Culler and
Seth Copen Goldstein},
editor = {Ron K. Cytron and
Peter Lee},
title = {Separation Constraint Partitioning - {A} New Algorithm for Partitioning
Non-strict Programs into Sequential Threads},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {259--271},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199511},
doi = {10.1145/199448.199511},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/SchauserCG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SreedharG95,
author = {Vugranam C. Sreedhar and
Guang R. Gao},
editor = {Ron K. Cytron and
Peter Lee},
title = {A Linear Time Algorithm for Placing phi-nodes},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {62--73},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199464},
doi = {10.1145/199448.199464},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/SreedharG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Vorobyov95,
author = {Sergei G. Vorobyov},
editor = {Ron K. Cytron and
Peter Lee},
title = {Structural Decidable Extensions of Bounded Quantification},
booktitle = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
pages = {164--175},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/199448.199479},
doi = {10.1145/199448.199479},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Vorobyov95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/1995,
editor = {Ron K. Cytron and
Peter Lee},
title = {Conference Record of POPL'95: 22nd {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Francisco, California,
USA, January 23-25, 1995},
publisher = {{ACM} Press},
year = {1995},
url = {http://dl.acm.org/citation.cfm?id=199448},
isbn = {0-89791-692-1},
timestamp = {Mon, 10 Dec 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-04-26 19:15 CEST 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:
