LINGUIST List 11.862

Thu Apr 13 2000

TOC: Higher-Order and Symbolic Computation

Editor for this issue: Scott Fults <scottlinguistlist.org>


Directory

  1. kap-listman, Higher-Order and Symbolic Computation (formerly: LISP and Sy...)

Message 1: Higher-Order and Symbolic Computation (formerly: LISP and Sy...)

Date: Wed, 12 Apr 2000 02:04:36 +0200 (MEST)
From: kap-listman <kap-listmanwkap.nl>
Subject: Higher-Order and Symbolic Computation (formerly: LISP and Sy...)


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: kluwerwkap.com 
 
EUROPE, ASIA AND AFRICA 
Kluwer Academic Publishers 
Distribution Center 
PO Box 322 
3300 AH Dordrecht 
The Netherlands 
Telephone 31-78-6392392 
Fax 31-78-6546474 
E-Mail: orderdeptwkap.nl 
 
Mail to author|Respond to list|Read more issues|LINGUIST home page|Top of issue