Lambda Bound in Three Ways
A++ An Educational Programming Language Based on the Lambda Calculus
Description: ARS Based Programming is built on three principles: 'Abstraction, Reference and Synthesis' (ARS) which are derived from the Lambda Calculus. The site introduces ARS including three tools helping to learn and apply this approach.
ars (161) a++ (80) lambda calculus (7) ars based programming (1) arsapi (1) principles of programming (1)
ARS Based Programming is built on three principles: Abstraction, Reference and Synthesis ( ARS ) which are derived from the Lambda Calculus. This approach to programming is covered in detail in the book `Programmierung pur' (`Undiluted Programming') which has been published in April 2003 by the S.Toeche-Mittler Verlag in Darmstadt, Germany.
This site introduces ARS Based Programming and three tools intended to help learning and applying this approach:
A++ , a minimal programming language with interpreter for basic training enforcing rigorous confrontation with the essentials of programming;
Lambda Bound in Three Ways
A++ An Educational Programming Language Based on the Lambda Calculus