[Haskell-cafe] Re: [Haskell] Fixpoint combinator without recursion

[Stefan Holdermans]

Edsko,

>> Yeah, it's rather cool. IIRC, this style of encoding of recursion
>> operators is attributed to Morris.
>
> Do you have a reference?

James H. Morris. Lambda calculus models of programming languages.  
Technical Report MIT-LCS//MIT/LCS/TR-57, Massachusetts Institute of  
Technology, 1968.

Cheers,

   Stefan