PLDB
Languages Patterns Calendar About Lists Join

binary-lambda-calculus

binary-lambda-calculus

binary-lambda-calculus is an actively used programming language created in 2004. Binary lambda calculus (BLC) is a minimal, pure functional programming language invented by John Tromp in 2004,[1] based on a binary encoding of the untyped lambda calculus in De Bruijn index notation.

#3466on PLDB 18Years Old

Example code from the web:

0101000110100000000101011000000000011110000101111110011110 0001011100111100000011110000101101101110011111000011111000 0101111010011101001011001110000110110000101111100001111100 0011100110111101111100111101110110000110010001101000011010

Article source

PLDB - Build the next great programming language. v5.0.0 - Email ยท Github