On 19 Jul 2007, at 03:40, Tim Chevalier wrote:
On 7/18/07, Michael Vanier <[EMAIL PROTECTED]> wrote:
We always say that Haskell is named for Haskell Curry because his
work provided the
logical/computational foundations for the language. How exactly
is this the case? Specifically,
does any
On 7/18/07, Michael Vanier <[EMAIL PROTECTED]> wrote:
We always say that Haskell is named for Haskell Curry because his work provided
the
logical/computational foundations for the language. How exactly is this the
case? Specifically,
does anyone claim that Curry's combinatorial logic is more
We always say that Haskell is named for Haskell Curry because his work provided the
logical/computational foundations for the language. How exactly is this the case? Specifically,
does anyone claim that Curry's combinatorial logic is more relevant to the theoretical foundations
of Haskell than
