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

Convergence of Mathematics and Programming Languages

math language-features logic language-design lambda-calculus

Reusing a Lambda function in Haskell

haskell lambda-calculus

Embedding higher kinded types (monads!) into the untyped lambda calculus

haskell functional-programming monads lambda-calculus untyped-variables

Access outer variable inside a block and Y-combinator

lambda-calculus y-combinator xbase

Which terms is corresponding for Map, Filter, Foldable, Bind etc from Category Theory?

math functional-programming lambda-calculus category-theory

Is it possible to infer the normalized source of a pure λ function on Haskell?

algorithm haskell functional-programming lambda-calculus

Haskell Interpreter for System T Combinator Language

haskell ocaml interpreter lambda-calculus combinatory-logic

How to write an empty list using S, K and I combinators?

functional-programming lisp lambda lambda-calculus

Java 8 and lambda calculus equivalent

java function java-8 lambda-calculus

How to implement a recursive function in lambda calculus using a subset of Clojure language?

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