Check nearby libraries
Buy this book
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)
Check nearby libraries
Buy this book
Previews available in: English
Showing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1
Elements of programming linguistics. Part I, The lambda calculus and its implementation
1981, Naval Postgraduate School
in English
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition 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.
The Physical Object
ID Numbers
Source records
Community Reviews (0)
Feedback?August 30, 2021 | Created by MARC Bot | import new book |