11.862, TOC: Higher-Order and Symbolic Computation

[The LINGUIST Network]

LINGUIST List:  Vol-11-862. Thu Apr 13 2000. ISSN: 1068-4875.

Subject: 11.862, TOC: Higher-Order and Symbolic Computation

Moderators: Anthony Rodrigues Aristar, Wayne State U.<aristar at linguistlist.org>
            Helen Dry, Eastern Michigan U. <hdry at linguistlist.org>
            Andrew Carnie, U. of Arizona <carnie at linguistlist.org>

Reviews: Andrew Carnie: U. of Arizona <carnie at linguistlist.org>

Associate Editors:  Ljuba Veselinova, Stockholm U. <ljuba at linguistlist.org>
		    Scott Fults, E. Michigan U. <scott at linguistlist.org>
		    Jody Huellmantel, Wayne State U. <jody at linguistlist.org>
		    Karen Milligan, Wayne State U. <karen at linguistlist.org>

Assistant Editors:  Lydia Grebenyova, E. Michigan U. <lydia at linguistlist.org>
		    Naomi Ogasawara, E. Michigan U. <naomi at linguistlist.org>
		    James Yuells, Wayne State U. <james at linguistlist.org>

Software development: John Remmers, E. Michigan U. <remmers at emunix.emich.edu>
                      Sudheendra Adiga, Wayne State U. <sudhi at linguistlist.org>
                      Qian Liao, E. Michigan U. <qian at linguistlist.org>

Home Page:  http://linguistlist.org/

The LINGUIST List is funded jointly by Eastern Michigan University,
Wayne State University, and donations from subscribers and publishers.

The LINGUIST Fund Drive for 2000 has begun.  We need your help to
continue providing the LINGUIST services!  Come to the URL
http://linguistlist.org/donation.html and make a donation.
Editor for this issue: Scott Fults <scott at linguistlist.org>

=================================Directory=================================

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

-------------------------------- Message 1 -------------------------------

Date:  Wed, 12 Apr 2000 02:04:36 +0200 (MEST)
From:  kap-listman at wkap.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: kluwer at wkap.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: orderdept at wkap.nl


---------------------------------------------------------------------------
LINGUIST List: Vol-11-862