Elements of programming linguistics. Part I, The lambda calculus and its implementation
Loading...
Authors
MacLennan, Bruce J.
Subjects
lambda calculus
LISP
block structured languages
list processing
interpreters
stack implementation
reduction
translation
LISP
block structured languages
list processing
interpreters
stack implementation
reduction
translation
Advisors
Date of Issue
1981-19
Date
1981-19
Publisher
Monterey, California. Naval Postgraduate School
Language
en_US
Abstract
The lambda calculus is used as an introduction to programming language concepts, particularly the concepts of functional programming. Both interpreted and compiled implementations of an extended lambda calculus are discussed. They can be adopted to implementations of Pascal and Lisp. It is shown that traditional stack-based run-time structures can be directly derived from the reduction rules of the lambda calculus. (Author)
Type
Technical Report
Description
Series/Report No
Department
Identifiers
NPS Report Number
NPS-52-81-012
Sponsors
Prepared for: Naval Postgraduate School, Monterey, California 93943. -- Cover.
Funder
supported by the Foundation Research
Program of the Naval Postgraduate School with funds provided by the Chief of Naval Research
Format
92 p. : ill. ; 28 cm.
Citation
Distribution Statement
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.