Elements of Programming Linguistics. Part I. The Lambda Calculus and Its Implementation.

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)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 13, 1981
Accession Number
ADA104345

Entities

People

  • Bruce J MacLennan

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Arithmetic
  • Calculus
  • Collisions
  • Computations
  • Computer Programming
  • Computer Science
  • Computers
  • Data Processing
  • Environment
  • Language
  • Linguistics
  • Mathematics
  • Numbers
  • Programming Languages
  • Reasoning
  • Sequences
  • Translations

Readers

  • Computational Linguistics