linguistlist.org>
Editor for this issue: Scott Fults <scottlinguistlist.org>
wkap.nl>Higher-Order and Symbolic Computation (formerly: LISP and Symbolic Computation) ISSN 1388-3690 http://www.wkap.nl/issuetoc.htm/1388-3690+13+1/2+2000 Vol. 13, Issue 1/2, April 2000. TITLE: Editorial AUTHOR(S): Olivier Danvy, Carolyn Talcott PAGE(S): 5-6 TITLE: A Foreword to `Fundamental Concepts in Programming Languages' AUTHOR(S): Peter D. Mosses PAGE(S): 7-9 TITLE: Fundamental Concepts in Programming Languages AUTHOR(S): Christopher Strachey KEYWORD(S): programming languages, semantics, foundations of computing, CPL, L-values, R-values, parameter passing, variable binding, functions as data, parametric polymorphism, ad hoc polymorphism, binding mechanisms, type completeness. PAGE(S): 11-49 TITLE: Christopher Strachey--Understanding Programming Languages AUTHOR(S): Rod Burstall KEYWORD(S): programming languages, semantics, foundations of computing, CPL, L-values, R-values, parameter passing, variable binding, functions as data, parametric polymorphism, ad hoc polymorphism, binding mechanisms, type completeness. PAGE(S): 51-55 TITLE: From Macrogeneration to Syntactic Abstraction AUTHOR(S): R. Kent Dybvig KEYWORD(S): macrogeneration, syntactic abstraction. PAGE(S): 57-63 TITLE: Christopher Strachey- Recollections of His Influence AUTHOR(S): Mike Gordon KEYWORD(S): semantics, programming. PAGE(S): 65-67 TITLE: Cambridge and CPL in the 1960s AUTHOR(S): David Hartley KEYWORD(S): semantics, programming. PAGE(S): 69-70 TITLE: A Hard Act to Follow AUTHOR(S): C.A.R. Hoare KEYWORD(S): semantics, programming. PAGE(S): 71-72 TITLE: Christopher Strachey- A Personal Recollection AUTHOR(S): Michael Jackson KEYWORD(S): semantics, programming. PAGE(S): 73-74 TITLE: My Years with Strachey AUTHOR(S): Peter J. Landin KEYWORD(S): semantics, programming. PAGE(S): 75-76 TITLE: From Language Concepts to Implementation Concepts AUTHOR(S): Robert Milne KEYWORD(S): language design, program equivalence, implementation correctness. PAGE(S): 77-81 TITLE: Reminiscences of Christopher Strachey AUTHOR(S): Roger Penrose KEYWORD(S): language design, program equivalence, implementation correctness. PAGE(S): 83-84 TITLE: Christopher Strachey and the Cambridge CPL Compiler AUTHOR(S): Martin Richards KEYWORD(S): language design, program equivalence, implementation correctness. PAGE(S): 85-88 TITLE: Induction, Domains, Calculi- Strachey-s Contributions to Programming-Language Engineering AUTHOR(S): David A. Schmidt KEYWORD(S): denotational semantics, induction, semantic domains, lambda-calculus. PAGE(S): 89-101 TITLE: Some Reflections on Strachey and His Work AUTHOR(S): Dana Scott KEYWORD(S): denotational semantics, induction, semantic domains, lambda-calculus. PAGE(S): 103-114 TITLE: Christopher Strachey and Fundamental Concepts AUTHOR(S): Joe Stoy KEYWORD(S): denotational semantics, induction, semantic domains, lambda-calculus. PAGE(S): 115-117 TITLE: Abstract Models of Storage AUTHOR(S): Robert D. Tennent, Dan R. Ghica KEYWORD(S): assignment, storage allocation, locality, parametricity, irreversibility. PAGE(S): 119-129 TITLE: Continuations Revisited AUTHOR(S): Christopher P. Wadsworth KEYWORD(S): continuations, denotational semantics, mathematical semantics, jumps, escape exits. PAGE(S): 131-133 TITLE: Continuations- A Mathematical Semantics for Handling Full Jumps AUTHOR(S): Christopher Strachey, Christopher P. Wadsworth KEYWORD(S): continuations, denotational semantics, mathematical semantics, jumps, escape exits. PAGE(S): 135-152 Thank you for your interest in Kluwer's books and journals. NORTH, CENTRAL AND SOUTH AMERICA Kluwer Academic Publishers Order Department, PO Box 358 Accord Station, Hingham, MA 02018-0358 USA Telephone (781) 871-6600 Fax (781) 681-9045 E-Mail: kluwerMail to author|Respond to list|Read more issues|LINGUIST home page|Top of issue