Elements of programming linguistics.  Part I, The lambda calculus and its implementation
By: B.J. MacLennan
Contributors: Naval Postgraduate School (U.S.)
Series: NPS-52-81-012
Publisher: Naval Postgraduate School
Published: 1981
Place of publication: Monterey, Calif
Language: eng
Number of pages: 92
Subjects: Programming languages (Electronic computers); Semantics; Syntax; LISP (Computer program language); List processing (Electronic computers); Lambda calculus
Description: 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)
Notes: Cover title.

"NPS-52-81-012."

"Prepared for: Naval Postgraduate School, Monterey, California 93943." -- Cover.

"1981."

"Approved for public release; distribution is unlimited."

Technical report; 1981.