Some FP algebra with currying operation (Q789160)

This paper is concerned with the algebra of function equations in the framework of a functional programming language FP proposed by Backus. In the original FP, a certain types of algorithms which are naturally expressed by Curried functions are awkward to express. Therefore, we introduce combinators into FP, and give algebraic equations that hold between the FP expressions without the use of Curried functions and the new FP expressions which make use of Curried functions and the combinators.