| 
|
QuoteRef: fehrE4_1983
topics >
all references >
ThesaHelp:
references e-f
ThesaHelp:
references sa-sz
Topic:
functional programming
Topic:
referential transparency
Reference
Fehr, E., "The "Simplest Functional Programming Language" is neither simple nor functional ", SIGPLAN, 18, 4 , April 1983, pp. 55-57. Google
Notes
QuoteRef: specD1_1983
55 ;;Quote: the simplest functional language $ uses one operator in two different ways: definition and application
56 ;;Quote: the simplest functional language $ only has evaluation by leftmost redex; not arbitrary replacement of subexpressions by value
56+;;Quote: a functional language needs substitutivity of equivalence for mathematical proofs about evaluations
ThesaHelp: references e-f (168 items)
ThesaHelp: references sa-sz (237 items)
Topic: functional programming (43 items)
Topic: referential transparency (26 items)