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

Checking understanding of: "Variable" v.s. "Value", and "function" vs "abstraction"

function variables haskell lambda-calculus

Is it possible to write a data structure or data structures that represent only closed terms in Haskell or any other language?

haskell expression lambda-calculus bound-variable

Y-combinator in D?

functional-programming d lambda-calculus y-combinator

Pure Lambda Calculus - and function

haskell functional-programming lambda-calculus

Defining a stack data structure and its main operations in lambda calculus

lambda functional-programming lambda-calculus combinators y-combinator

Church Numerals: how to encode zero in lambda calculus?

lambda theory lambda-calculus

How to compile Haskell into the untyped lambda calculus (or GHC core)?

haskell lambda-calculus ghc-api

interpret Parigot's lambda-mu calculus in Haskell

haskell interpreter continuations lambda-calculus interpretation

Haskell for Lambda Calculus, Type Inferencing

haskell types lambda functional-programming lambda-calculus

Is there any efficient way to convert an unary number to a binary number?

algorithm haskell functional-programming lambda-calculus

Church Numerals in haskell

haskell lambda-calculus

Is it possible to define Omega combinator (λx.xx) in modern Haskell?

haskell lambda-calculus

Lambda Calculus operators precedence

lambda lambda-calculus operator-precedence

Can any function be reduced to a point-free form?

haskell lambda-calculus pointfree

How would the Lambda Calculus add numbers?

lambda functional-programming lambda-calculus

What is the bottom type?

lambda-calculus type-theory curry-howard

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
« Newer Entries Older Entries »