LambdaAPI2 is another java-written implementation of pure lambda-calculus. Its aim is to support applications of lambda-calculus.
LambdaAPI2 is based on constructs described in Compiling the Lambda-calculus into Interaction Combinators, which, associated to the weak reduction to interface normal form, provides a competitive implementation of lambda-calculus.
The software is provided in source form exclusively and depends on nothing but the JRE System Library (jdk 1.4 or later). Its license is free. LambdaAPI is developed within the xmloperator project.
The software is described by the two following documents:
LambdaAPI2 design (deals with LambdaAPI2 design).
Playing with LambdaAPI2 (invites to experiment with LambdaAPI2).
Both documents contain links to the javadoc that don't work on line because the javadoc is zipped and must be downloaded.
For more information, please send a mail to "info at xmloperator.org" using a subject starting with "[LambdaAPI2]".
2005-12-13. Release 1.0.0.
| Last update : 2013-06-05 | Copyright (c) 2005 The_xmloperator_project |