StackOverflow Questions for Tag: combinatory-logic

nessel

Reputation: 41

How does liftM2 work like the S' combinator in Haskell?

haskellmonadsaplcombinatory-logic

Score: 2

Answers: 2

A. Burger

Reputation: 11

Evaluating SKI-combinators with not enough arguments

lambda-calculuscombinatorscombinatory-logick-combinators-combinator

Score: 1

Answers: 4

Matthew Ibbetson

Reputation: 23

Defining an alternative Psi combinator in Haskell

haskellfunctional-programmingcombinatorscombinatory-logic

Score: 2

Answers: 1

Enlico

Reputation: 28366

Is there a way to express the function application operator/function with Hana?

c++haskellfunctional-programmingboost-hanacombinatory-logic

Score: 3

Answers: 1

Joris KBos

Reputation: 15

Idris: Cannot use functions as applicative functors?

functortypecheckingapplicativeidris2combinatory-logic

Score: 0

Answers: 1

idkDude

Reputation: 21

Not returning all possible one-step reductions for combinatory expressions

haskelllambda-calculuscombinatory-logic

Score: 2

Answers: 2

Enlico

Reputation: 28366

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

haskellfunctional-programmingcurryingcombinatory-logic

Score: 1

Answers: 2

CWHsu

Reputation: 87

Can XOR be expressed using SKI combinators?

booleanlogiclambda-calculuscombinatorscombinatory-logic

Score: 3

Answers: 2

emanresu A

Reputation: 278

Is it possible to create the Y combinator in typescript at type level?

typescripttypescombinatory-logic

Score: 1

Answers: 0

Ben Schäffner

Reputation: 360

Expressing Y in term of SKI-Combinators in JavaScript

javascriptcombinatorsy-combinatorcombinatory-logic

Score: 7

Answers: 1

Enlico

Reputation: 28366

Does the function monad really offer something more than the function applicative functor? If so, what?

haskellfunctional-programmingmonadsapplicativecombinatory-logic

Score: 14

Answers: 2

Spook

Reputation: 311

S-K basis Completeness in combinatory logic

lambda-calculuscombinatory-logic

Score: 0

Answers: 1

ayyayyekokojambo

Reputation: 1245

Lambda-Calculus Representation in NLTK CCG

pythonnltklambda-calculuscombinatory-logic

Score: 3

Answers: 3

Jung

Reputation: 139

Understanding the eval function used to define combinators and expression (Lambda) in Haskell

haskellcombinatory-logic

Score: 1

Answers: 0

Joseph Sible-Reinstate Monica

Reputation: 48572

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

haskellfunctional-programminglambda-calculuscombinatory-logic

Score: 7

Answers: 1

CMCDragonkai

Reputation: 6372

Haskell Interpreter for System T Combinator Language

haskellocamlinterpreterlambda-calculuscombinatory-logic

Score: 7

Answers: 2

CMCDragonkai

Reputation: 6372

SystemT Compiler and dealing with Infinite Types in Haskell

haskellocamllambda-calculuscombinatory-logic

Score: 3

Answers: 1

Aadit M Shah

Reputation: 74204

How to recursively define a generalized projection function?

javascriptrecursionfunctional-programmingcombinatory-logic

Score: 1

Answers: 1

delta

Reputation: 3818

Express XOR in SKI combinators

haskellcombinatory-logic

Score: 4

Answers: 1

AnandA777

Reputation: 33

Type of recursively-typed functions in Ceylon

functional-programminghigher-order-functionslambda-calculusceyloncombinatory-logic

Score: 2

Answers: 0

PreviousPage 1Next

StackOverflow Questions for Tag: combinatory-logic

How does liftM2 work like the S&#39; combinator in Haskell?

Evaluating SKI-combinators with not enough arguments

Defining an alternative Psi combinator in Haskell

Is there a way to express the function application operator/function with Hana?

Idris: Cannot use functions as applicative functors?

Not returning all possible one-step reductions for combinatory expressions

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

Can XOR be expressed using SKI combinators?

Is it possible to create the Y combinator in typescript at type level?

Expressing Y in term of SKI-Combinators in JavaScript

Does the function monad really offer something more than the function applicative functor? If so, what?

S-K basis Completeness in combinatory logic

Lambda-Calculus Representation in NLTK CCG

Understanding the eval function used to define combinators and expression (Lambda) in Haskell

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

Haskell Interpreter for System T Combinator Language

SystemT Compiler and dealing with Infinite Types in Haskell

How to recursively define a generalized projection function?

Express XOR in SKI combinators

Type of recursively-typed functions in Ceylon

How does liftM2 work like the S' combinator in Haskell?