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

Stefan Holdermans stefan at cs.uu.nl
Wed Apr 4 17:05:51 EDT 2007


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


More information about the Haskell-Cafe mailing list