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

Is there a simpler type system with the practical utilities of CoC? [duplicate]

haskell types type-systems lambda-calculus

Is it possible to implement `max` efficiently on the untyped lambda calculus?

functional-programming lambda-calculus caramel

lambda-calculus in C: Booleans and NOT operator

c lambda-calculus

Is it usual to wrap a variable in an useless `id` call to avoid eta-conversion issues on proofs?

haskell functional-programming lambda-calculus

Type quantifiers in Haskell functions

haskell lambda-calculus

Y Combinator implementation Scheme

scheme lambda-calculus y-combinator

Link between lambda calculus and lambda expressions in C++

c++ lambda lambda-calculus

Understanding the implementation of Y-Combinator

scala recursion functional-programming lambda-calculus y-combinator

Find Haskell functions f, g such that f g = f . g

haskell functional-programming lambda-calculus combinatory-logic

Typing the Y combinator

prolog lambda-calculus type-theory

Pre-requisites for learning lambda calculus

theory lambda-calculus

lambda calculus: passing two values to a single parameter without currying

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