Topic: curried functions
ThesaHelp: references sasz
Topic: referential transparency
Topic: notation for operations
Topic: programming language
 
Reference
Stoy, J.,
The ScottStrachey Approach to the Mathematical Semantics of Programming Language, Cambridge, Massachusetts, MIT Press, 1977.
Google
Other Reference
page references from MIT Project Mac report 12/74
Quotations
6 ;;Quote: referential transparency: value and expression are equivalent in any position
 9 ;;Quote: programming languages are really notations
 QuoteRef: stoyJ_1977 ;;45 the curry of add (3,4) id add' such that add'(3)==add3 and add3(4) is curry: ((n X n) >n) >(n> (n> n)) is all functions of one variable
 QuoteRef: stoyJ_1977 ;;46 curry function in lambda notation is curry (f)=2x.xy.f(x,y) the procedure parameter f must exist after the function is invoked

Related Topics
Topic: curried functions (14 items)
ThesaHelp: references sasz (237 items)
Topic: referential transparency (26 items)
Topic: notation for operations (18 items)
Topic: programming language (29 items)
