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

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


>> 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.



More information about the Haskell-Cafe mailing list