$(ID:4350/:::003)
Theoretical simple functional programming language
- Country: us
- Began: 1983
- Sammet:EXP
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
|