Map
Index
Random
Help
Topics
th

QuoteRef: fehrE4_1983

topics > all references > ThesaHelp: references e-f



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

Quotations
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


Related Topics up

ThesaHelp: references e-f (168 items)
ThesaHelp: references sa-sz (237 items)
Topic: functional programming (43 items)
Topic: referential transparency (26 items)

Collected barberCB 9/87
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.