Defining an alternative Psi combinator in Haskell...

Idris: Cannot use functions as applicative functors?...

Combine m-ary function with n-ary function in a single (m+n)-ary function returning the pair of thei...

Expressing Y in term of SKI-Combinators in JavaScript...

Lambda-Calculus Representation in NLTK CCG...

Find Haskell functions f, g such that f g = f . g...

SystemT Compiler and dealing with Infinite Types in Haskell...

How to recursively define a generalized projection function?...

Express XOR in SKI combinators...

Implementing the combinator calculus...

Pattern in point-free combinator, how related to SKI calculus...

Implementing Smullyan's arithmetical birds in Haskell...

Deducing type for overloaded functions - currying...

define a form as function name?...

How to parse string into GADT...

What does this combinator do: s (s k)...

The type signature of a combinator does not match the type signature of its equivalent Lambda functi...

Type inference for a scala combinator calculus data model...