| 
|
QuoteRef: stoyJ_1977
topics >
all references >
Topic:
curried functions
ThesaHelp:
references sa-sz
Topic:
referential transparency
Topic:
notation for operations
Topic:
programming language
Reference
Stoy, J., The Scott-Strachey 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
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
Topic: curried functions (14 items)
ThesaHelp: references sa-sz (237 items)
Topic: referential transparency (26 items)
Topic: notation for operations (18 items)
Topic: programming language (29 items)