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

How to use a naming context to find de Bruijn indices of free variables?

lambda-calculus

In pure functional languages, is data (strings, ints, floats.. ) also just functions?

functional-programming lambda-calculus purely-functional

Adventures with the untyped lambda calculus

haskell types lambda-calculus

η-expansion in a pure functional language

f# functional-programming ocaml lambda-calculus

How do you formulate n-ary product and sum types in this typed lambda calculus universe?

haskell lambda-calculus algebraic-data-types gadt data-kinds

what's this equation with lambda notation " m >> n = m >>= \_ -> n " in monad's declaration?

haskell lambda monads lambda-calculus

Lambda calculus and church numerals confusion

function lambda-calculus

Is it usual for interaction nets to leave piles of redundant fans?

haskell lambda functional-programming lambda-calculus interaction-nets

Call by value in the lambda calculus

lambda-calculus operator-precedence reduction

Church-Rosser Theorem Example in a Functional Programming Language

haskell functional-programming ml lambda-calculus

Why is a built-in function applied to too few arguments considered to be in weak head normal form?

haskell lambda-calculus reduction partial-application weak-head-normal-form

Is it possible to evaluate lambda calculus terms efficiently?

algorithm lambda functional-programming computer-science lambda-calculus

What does eta reduce mean in the context of HLint

haskell lambda-calculus hlint

Rotate the first argument to a function to become nth

scala haskell functional-programming lambda-calculus

Lambda Calculus reduction

lambda lambda-calculus reduction

Lambda calculus in Haskell: Is there some way to make Church numerals type check?

haskell lambda-calculus church-encoding

Arithmetic with Church Numerals

scheme sicp lambda-calculus church-encoding

Church lists in Haskell

haskell lambda-calculus church-encoding

What type of lambda calculus would Lisp loosely be an example of?

lisp lambda-calculus type-theory

Code exercising the unique possibilities of each edge of the lambda calculus

scala language-agnostic types theory lambda-calculus
« Newer Entries Older Entries »