11.2093, TOC: Higher-Order and Symbolic Computation

[The LINGUIST Network]

LINGUIST List:  Vol-11-2093. Sat Sep 30 2000. ISSN: 1068-4875.

Subject: 11.2093, 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.


Editor for this issue: Naomi Ogasawara <naomi at linguistlist.org>

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

1)
Date:  Sat, 30 Sep 2000 02:21:22 +0200 (MEST)
From:  kap-listman at wkap.nl
Subject:  Higher-Order and Symbolic Computation Vol. 13, Issue 3, 2000

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

Date:  Sat, 30 Sep 2000 02:21:22 +0200 (MEST)
From:  kap-listman at wkap.nl
Subject:  Higher-Order and Symbolic Computation Vol. 13, Issue 3, 2000


Higher-Order and Symbolic Computation (formerly: LISP and Symbolic Computation)

ISSN 1388-3690

http://www.wkap.nl/issuetoc.htm/1388-3690+13+3+2000

Vol. 13, Issue 3, September 2000.

TITLE:      Editorial
AUTHOR(S):  Olivier Danvy, Carolyn Talcott
KEYWORD(S): environment calculus, first-class environments, polymorphism,
            principal-typing theorem, type-inference algorithm, explicit
            substitutions, lambda calculus.
PAGE(S):    159-160

TITLE:      Static and Dynamic Program Compilation by
            Interpreter Specialization
AUTHOR(S):  Scott Thibault, Charles Consel, Julia L. Lawall,
            Renaud Marlet, Gilles Muller
KEYWORD(S): partial evaluation, compilation, compiler design, Just-In-Time
            compilation, run-time code generation, domain-specific
            languages, bytecode languages.
PAGE(S):    161-178

TITLE:      Higher-Order UnCurrying
AUTHOR(S):  John Hannan, Patrick Hicks
KEYWORD(S): semantics-based program analysis, type systems, program
            transformations.
PAGE(S):    179-218

TITLE:      Linear-Time Self-Interpretation of the Pure Lambda Calculus
AUTHOR(S):  Torben A. Mogensen
KEYWORD(S): programs as data, lambda calculus, self-interpretation,
            reduction order, cost measures, semantics.
PAGE(S):    219-240

TITLE:      A Polymorphic Environment Calculus and its Type-Inference
            Algorithm
AUTHOR(S):  Shin-Ya Nishizaki
KEYWORD(S): environment calculus, first-class environments, polymorphism,
            principal-typing theorem, type-inference algorithm, explicit
            substitutions, lambda calculus.
PAGE(S):    241-280

- ------------------------------------------------------------



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

Kluwer Law International
Order Department
675 Massachusetts Avenue
Cambridge, MA 02139
USA
Telephone: (617) 354-0140
Toll-free (US customers only): 800 577-8118
Fax: (617) 354-8595
E-mail: sales at kluwerlaw.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-2093