Version française
Home     About     Download     Resources     Contact us    
Browse thread
Available now: A library for Abstract Syntax with Binder.
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Christophe Raffalli <raffalli@c...>
Subject: Available now: A library for Abstract Syntax with Binder.

I am please to announce a new library for Caml-Light:

THE BINLIB PACKAGE
------------------

  This is a library for the Caml-Light language (and Sml-nj soon 
  ... may be) providing reasonable tools to write programs
  manipulating data structures with binders (like lambda-terms or
  quantified formulae). It is quite efficient and not to difficult to
  use (at least for me).

It is available from my URL:

http://www.logique.jussieu.fr/www.raffalli/index.html#examples

Or by ftp:

ftp://ftp.logique.jussieu.fr/pub/distrib/raffalli/

------------------

Christophe Raffalli
Chalmers University of Technology.