default search action
Search dblp for Publications
export results for "toc:db/journals/lisp/lisp13.bht:"
@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} }
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.