LINGUIST List 11.2093

Sat Sep 30 2000

TOC: Higher-Order and Symbolic Computation

Editor for this issue: Naomi Ogasawara <naomilinguistlist.org>

Directory

1. kap-listman, 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: kluwerwkap.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: saleskluwerlaw.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