Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in lambda-calculus

Strategy for desugaring Haskell

compiler-construction haskell lambda-calculus

Looking for a Church-encoding (lambda calculus) to define < , > , !=

functional-programming scheme lisp lambda-calculus church-encoding

How to correctly curry a function in JavaScript?

javascript haskell currying lambda-calculus partial-application

Is it possible to showcase the different strategies of evaluation by modifying this simple reducer?

haskell lambda functional-programming lazy-evaluation lambda-calculus

Can it be proved that call-by-need has the minimal asymptotic time complexity among all reduction strategies?

haskell functional-programming lazy-evaluation asymptotic-complexity lambda-calculus

Simple lambda calculus DSL using GADTs in OCaml

ocaml dsl lambda-calculus gadt

Subtraction operation using only increment, loop, assign, zero

math logic addition subtraction lambda-calculus

Why do java lambda expressions not introduce a new level of scope?

java function lambda expression lambda-calculus

Practical application of SKI calculus and BCKW

functional-programming lambda-calculus

Query on Booleans in Lambda Calculus

functional-programming lambda-calculus

What exactly makes a type system consistent?

haskell types functional-programming agda lambda-calculus

How to find the optimal processing order?

haskell logic lambda-calculus logic-programming

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

r return-value lambda-calculus

Java 8 lambda and alpha equivalence

java lambda java-8 lambda-calculus

What are the state-of-art methods for solving functional equations?

haskell functional-programming equation solver lambda-calculus

What it means lambda calculus is equivalent to turing machine

functional-programming computation-theory lambda-calculus turing-machines computability
« Newer Entries Older Entries »