$(ID:4350/:::003)

Theoretical simple functional programming language 


Theoretical simple functional programming language

David Spector 1983


Structures:
References:
  • Fehr, Elfriede "The "Simplest Functional Programming Language" is neither Simple nor Functional" view details Abstract: This note is a discussion on David Spector's paper:  "The Simplest Functional Programming Language" (SIGPLAN NOTICES18.1 (1983)). It is shown that neither syntax nor semantics of the referred language $ is simpler than that of the pure A-calculus, and furthermore, this language does not meet the requirement of substitutivity of equivalence, which is essential for functional languages.

          in SIGPLAN Notices 18(04) April 1983 view details
  • Spector, David "The Simplest Functional Programming Language" view details
          in SIGPLAN Notices 18(01) January 1983 view details