lambda-bound.com - ARS Based Programming: Fundamental And Without Limits

Keywords: ars, lambda calculus, principles of programming, ARS Based Programming, ARSAPI, eta reduction, alpha conversion, beta reduction

aplusplus.net - A++ An Educational Programming Language Based on the Lambda Calculus

Keywords: ars, Synthesis, essentials, abstraction, educational, programming language, lambda calculus, bells and whistles, reference, undilu...