LambdaAPI3

After LambdaAPI and LambdaAPI2, LambdaAPI3 is another java-written implementation of lambda-calculus.

While LambdaAPI uses Lambdascope and LambdaAPI2 uses interaction combinators, LambdaAPI3 is based on directed acyclic graphs (dag). A synthetic introduction to this sharing technique is given in Sharing in the Evaluation of lambda Expressions.

LambdaAPI3 could be usefull to students that are interested by lambda calculus and/or its implementation.

The software is provided in source form exclusively and depends on nothing but the JRE System Library (1.6 or later).

Its license is free. LambdaAPI3 is developed within the xmloperator project.

The software is described in the following documents:

• LambdaAPI3 design (deals with LambdaAPI3 design).

• Playing with LambdaAPI2 (invites to experiment with LambdaAPI3).

For more information, please send a mail to "info at xmloperator.org" using a subject starting with "[LambdaAPI3]".