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/journals/lisp/lisp13.bht:"
download as .bib file
@article{DBLP:journals/lisp/Burstall00,
author = {Rod M. Burstall},
title = {Christopher Strachey - Understanding Programming Languages},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {1/2},
pages = {51--55},
year = {2000},
url = {https://doi.org/10.1023/A:1010052305354},
doi = {10.1023/A:1010052305354},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Burstall00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyT00,
author = {Olivier Danvy and
Carolyn L. Talcott},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {1/2},
pages = {5--6},
year = {2000},
url = {https://doi.org/10.1023/A:1010022412197},
doi = {10.1023/A:1010022412197},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyT00a,
author = {Olivier Danvy and
Carolyn L. Talcott},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {3},
pages = {159--160},
year = {2000},
url = {https://doi.org/10.1023/A:1010014500357},
doi = {10.1023/A:1010014500357},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyT00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyT00b,
author = {Olivier Danvy and
Carolyn L. Talcott},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {4},
pages = {287--288},
year = {2000},
url = {https://doi.org/10.1023/A:1026586714900},
doi = {10.1023/A:1026586714900},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/DanvyT00b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Dybvig00,
author = {R. Kent Dybvig},
title = {From Macrogeneration to Syntactic Abstraction},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {1/2},
pages = {57--63},
year = {2000},
url = {https://doi.org/10.1023/A:1010041423101},
doi = {10.1023/A:1010041423101},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Dybvig00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Gordon00,
author = {Michael J. C. Gordon},
title = {Christopher Strachey: Recollections of His Influence},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {1/2},
pages = {65--67},
year = {2000},
url = {https://doi.org/10.1023/A:1010097524009},
doi = {10.1023/A:1010097524009},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Gordon00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/HannanH00,
author = {John Hannan and
Patrick Hicks},
title = {Higher-Order UnCurrying},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {3},
pages = {179--216},
year = {2000},
url = {https://doi.org/10.1023/A:1010006229549},
doi = {10.1023/A:1010006229549},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/HannanH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Hartley00,
author = {David Hartley},
title = {Cambridge and {CPL} in the 1960s},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {1/2},
pages = {69--70},
year = {2000},
url = {https://doi.org/10.1023/A:1010001708080},
doi = {10.1023/A:1010001708080},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Hartley00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/HatcliffDZ00,
author = {John Hatcliff and
Matthew B. Dwyer and
Hongjun Zheng},
title = {Slicing Software for Model Construction},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {4},
pages = {315--353},
year = {2000},
url = {https://doi.org/10.1023/A:1026599015809},
doi = {10.1023/A:1026599015809},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/HatcliffDZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Hoare00,
author = {C. A. R. Hoare},
title = {A Hard Act to Follow},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {1/2},
pages = {71--72},
year = {2000},
url = {https://doi.org/10.1023/A:1010053724918},
doi = {10.1023/A:1010053724918},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Hoare00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Jackson00,
author = {Michael Jackson},
title = {Christopher Strachey: {A} Personal Recollection},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {1/2},
pages = {73--74},
year = {2000},
url = {https://doi.org/10.1023/A:1010005808988},
doi = {10.1023/A:1010005808988},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Jackson00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Landin00,
author = {Peter J. Landin},
title = {My Years with Strachey},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {1/2},
pages = {75--76},
year = {2000},
url = {https://doi.org/10.1023/A:1010057925827},
doi = {10.1023/A:1010057925827},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Landin00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Liu00,
author = {Yanhong A. Liu},
title = {Efficiency by Incrementalization: An Introduction},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {4},
pages = {289--313},
year = {2000},
url = {https://doi.org/10.1023/A:1026547031739},
doi = {10.1023/A:1026547031739},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Liu00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Milne00,
author = {Robert Milne},
title = {From Language Concepts to Implementation Concepts},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {1/2},
pages = {77--81},
year = {2000},
url = {https://doi.org/10.1023/A:1010010009897},
doi = {10.1023/A:1010010009897},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Milne00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Mogensen00,
author = {Torben {\AE}. Mogensen},
title = {Linear-Time Self-Interpretation of the Pure Lambda Calculus},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {3},
pages = {217--237},
year = {2000},
url = {https://doi.org/10.1023/A:1010058213619},
doi = {10.1023/A:1010058213619},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Mogensen00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Mogensen00a,
author = {Torben {\AE}. Mogensen},
title = {Glossary for Partial Evaluation and Related Topics},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {4},
pages = {355--368},
year = {2000},
url = {https://doi.org/10.1023/A:1026551132647},
doi = {10.1023/A:1026551132647},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Mogensen00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Mosses00,
author = {Peter D. Mosses},
title = {A Foreword to 'Fundamental Concepts in Programming Languages'},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {1/2},
pages = {7--9},
year = {2000},
url = {https://doi.org/10.1023/A:1010048229036},
doi = {10.1023/A:1010048229036},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Mosses00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Nishizaki00,
author = {Shin{-}ya Nishizaki},
title = {A Polymorphic Environment Calculus and its Type-Inference Algorithm},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {3},
pages = {239--278},
year = {2000},
url = {https://doi.org/10.1023/A:1010010314528},
doi = {10.1023/A:1010010314528},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lisp/Nishizaki00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Penrose00,
author = {Roger Penrose},
title = {Reminiscences of Christopher Strachey},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {1/2},
pages = {83--84},
year = {2000},
url = {https://doi.org/10.1023/A:1010062026735},
doi = {10.1023/A:1010062026735},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Penrose00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Richards00,
author = {Martin Richards},
title = {Christopher Strachey and the Cambridge {CPL} Compiler},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {1/2},
pages = {85--88},
year = {2000},
url = {https://doi.org/10.1023/A:1010014110806},
doi = {10.1023/A:1010014110806},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Richards00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Schmidt00,
author = {David A. Schmidt},
title = {Induction, Domains, Calculi: Strachey's Contributions to Programming-Language
Engineering},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {1/2},
pages = {89--101},
year = {2000},
url = {https://doi.org/10.1023/A:1010066127644},
doi = {10.1023/A:1010066127644},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Schmidt00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Scott00,
author = {Dana S. Scott},
title = {Some Reflections on Strachey and His Work},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {1/2},
pages = {103--114},
year = {2000},
url = {https://doi.org/10.1023/A:1010018211714},
doi = {10.1023/A:1010018211714},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Scott00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Stoy00,
author = {Joseph E. Stoy},
title = {Christopher Strachey and Fundamental Concepts},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {1/2},
pages = {115--117},
year = {2000},
url = {https://doi.org/10.1023/A:1010070228552},
doi = {10.1023/A:1010070228552},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Stoy00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Strachey00,
author = {Christopher S. Strachey},
title = {Fundamental Concepts in Programming Languages},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {1/2},
pages = {11--49},
year = {2000},
url = {https://doi.org/10.1023/A:1010000313106},
doi = {10.1023/A:1010000313106},
timestamp = {Thu, 15 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lisp/Strachey00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/StracheyW00,
author = {Christopher S. Strachey and
Christopher P. Wadsworth},
title = {Continuations: {A} Mathematical Semantics for Handling Full Jumps},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {1/2},
pages = {135--152},
year = {2000},
url = {https://doi.org/10.1023/A:1010026413531},
doi = {10.1023/A:1010026413531},
timestamp = {Thu, 15 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lisp/StracheyW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/TennentG00,
author = {Robert D. Tennent and
Dan R. Ghica},
title = {Abstract Models of Storage},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {1/2},
pages = {119--129},
year = {2000},
url = {https://doi.org/10.1023/A:1010022312623},
doi = {10.1023/A:1010022312623},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/TennentG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/ThibaultCLMM00,
author = {Scott Thibault and
Charles Consel and
Julia L. Lawall and
Renaud Marlet and
Gilles Muller},
title = {Static and Dynamic Program Compilation by Interpreter Specialization},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {3},
pages = {161--178},
year = {2000},
url = {https://doi.org/10.1023/A:1010078412711},
doi = {10.1023/A:1010078412711},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/ThibaultCLMM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Wadsworth00,
author = {Christopher P. Wadsworth},
title = {Continuations Revisited},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {1/2},
pages = {131--133},
year = {2000},
url = {https://doi.org/10.1023/A:1010074329461},
doi = {10.1023/A:1010074329461},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Wadsworth00.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-05-20 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:
