Tag lambda-calculus - This is page 11 - GeneraCodice

Is the Church numeral encoding of natural numbers unnecessarily complicated?

https://www.generacodice.com/en/articolo/3515602/is-the-church-numeral-encoding-of-natural-numbers-unnecessarily-complicated
  language-agnostic  -  lambda-calculus  -  sicp  -  church-encoding
StackOverflow StackOverflow

What is a “free variable”?

https://www.generacodice.com/en/articolo/3501964/what-is-a-free-variable
  functional-programming  -  haskell  -  lambda-calculus
StackOverflow StackOverflow

What is a “free variable”?

https://www.generacodice.com/en/articolo/3501840/what-is-a-free-variable
  functional-programming  -  haskell  -  lambda-calculus
StackOverflow StackOverflow

What is a “free variable”?

https://www.generacodice.com/en/articolo/3501624/what-is-a-free-variable
  functional-programming  -  haskell  -  lambda-calculus
StackOverflow StackOverflow

what's this equation with lambda notation “ m >> n = m >>= \_ -> n ” in monad's declaration?

https://www.generacodice.com/en/articolo/3309719/what-s-this-equation-with-lambda-notation-m-n-m-n-in-monad-s-declaration
  lambda  -  haskell  -  monads  -  lambda-calculus
StackOverflow StackOverflow

What does the lambda calculus have to say about return values?

https://www.generacodice.com/en/articolo/3187200/what-does-the-lambda-calculus-have-to-say-about-return-values
  return-value  -  r  -  lambda-calculus
StackOverflow StackOverflow

Reusing a Lambda function in Haskell

https://www.generacodice.com/en/articolo/3173947/reusing-a-lambda-function-in-haskell
  haskell  -  lambda-calculus
StackOverflow StackOverflow

Fixed point of K combinator

https://www.generacodice.com/en/articolo/3102470/fixed-point-of-k-combinator
  y-combinator  -  lambda-calculus  -  fixpoint-combinators  -  k-combinator
StackOverflow StackOverflow

Functional Language for Untyped Lambda Calculus

https://www.generacodice.com/en/articolo/3046075/functional-language-for-untyped-lambda-calculus
  compiler-construction  -  functional-programming  -  interpreter  -  lambda-calculus  -  untyped-variables
StackOverflow StackOverflow

S combinator in Erlang

https://www.generacodice.com/en/articolo/3027535/s-combinator-in-erlang
  lambda  -  erlang  -  lambda-calculus  -  s-combinator
StackOverflow StackOverflow
Results found: 627
scroll top