Elements of programming linguistics. Part I, The lambda calculus and its implementation

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read


Download Options

Buy this book

Last edited by MARC Bot
August 30, 2021 | History

Elements of programming linguistics. Part I, The lambda calculus and its implementation

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

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)

Publish Date
Language
English
Pages
92

Buy this book

Previews available in: English

Book Details


Published in

Monterey, Calif

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.

Series
NPS-52-81-012

The Physical Object

Pagination
92 p.
Number of pages
92

ID Numbers

Open Library
OL33160403M
Internet Archive
elementsofprogra00macl
OCLC/WorldCat
77747800

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
August 30, 2021 Created by MARC Bot import new book