lambda-calculus

54 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Finding the most general unifier in Haskell using Data.Comp.Unification (beginner question)
user_57606150
•
3
1
533
type-theory unification lambda-calculus type-inference haskell
Haskell `let` bindings in lambda calculus
user_89941140
•
4
3
1172
letrec lambda-calculus let recursion haskell
Haskell Interpreter for System T Combinator Language
user_5829170
•
7
2
234
combinatory-logic lambda-calculus interpreter ocaml haskell
SystemT Compiler and dealing with Infinite Types in Haskell
user_5829170
•
3
1
226
combinatory-logic lambda-calculus ocaml haskell
lambda-calculus in C: Booleans and NOT operator
user_50252610
•
7
1
1693
lambda-calculus c
Print the first n numbers of the fibonacci sequence in one expression
user_79714480
•
6
5
2626
fibonacci lambda-calculus recursion lambda python
Mutually recursive proofs
user_36495720
•
3
0
118
agda lambda-calculus
How to write recursive factorial function in haskell without if then else statment
user_86300020
•
3
3
3099
lambda-calculus haskell
Sum of list elements and length of list in lambda calculus
user_86001280
•
5
1
2498
lambda-calculus functional-programming
Which terms is corresponding for Map, Filter, Foldable, Bind etc from Category Theory?
user_52008960
•
9
1
351
category-theory lambda-calculus math functional-programming
Hot Questions