Elements of programming linguistics. Part I, The lambda calculus and its implementation
24 min read
Rate this book:
About 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)
Buy This Book
As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.
Write a Review
Sign in to write a review.
More by Bruce J. MacLennan
A commentary on Mill's Logic Book I of names and propositions
A computer science version of Gödel's theorem
A relational program for a syntax directed editor
A simple proof of a generalized Church-Rosser theorem
A simple software environment based on objects and relations
A simple, natural notation for application languages