Explore >> Select a destination

You are here

 sookocheff.com
Simplifying Lambda Syntax | Kevin Sookocheff
| | text.marvinborner.de
Variadic Fixed-Point Combinators
3.4 parsecs away

Travel
| | This article describes a variadic extension to the default fixed-point combinator namely the Y-combinator. We do this by translating the Scheme code from a paper to bruijn (pure lambda calculus).
| | danilafe.com
Lambda Calculus and Church Encoded Integers
3.3 parsecs away

Travel
| |
| | deniskyashif.com
On Recursive Functions ยท Denis Kyashif's Blog
2.9 parsecs away

Travel
| | How to define a recursive function in a language which doesn't support recursion using the Y combinator.
| | dsyme.home.blog
Functional Programming eXchange 2011, London, March 18, 2011 - Don Syme's Blog on F# and Related Topics
21.7 parsecs away

Travel
| In a previous blog post I mentioned Simon Cousins and his explanation of why F# programming was effective for his recent enterprise work. Robert Pickering mentions that Simon wil be one of the speakers at the Functional Programming eXchange 2011on March 18, 2011, speaking on F# in the Enterprise. Other speakers include Simon Peyton Jones,...