gj@cornell.UUCP (Greg Johnson) (06/28/84)
Can anyone give me some references to papers containing APL identities, axioms, and theorems? I am interested mainly in "classic" APL, as opposed to nested array versions and array theory, but if this sort of thing is covered in papers on those topics please let me know about those papers also. I seem to remember a paper (papers?) by Iverson that fairly exhaustively treats this topic. An example of the kind of thing I'm interested in is the following identity for the reduce operator: f/V <--> (f/N take V) f f/N drop V The above is the justification for having "f/iota 0" return the identity element for f if it exists (consider the situation in which N = rho V). - Greg Johnson ...!ihnp4!cornell!gj gj@cornell