Details of Link
 
 
TITLE
  bindlib 
SUBTITLE
  manage variable bindings in terms 
DESCRIPTION
  bindlib is a library for the Objective-Caml,
Caml-Light and NJSML languages providing reasonable
tools to write programs manipulating data structures
with binder (like lambda-calculus or quantified
formulae). It is quite efficient and not to
difficult to use.
 
REPORTER
  GPS-reporter 
AUTHOR
  Christophe Raffalli 
AUTHOR'S LINK
  http://www.lama.univ-savoie.fr/sitelama/Membres/pages_web/RAFFALLI/ 
COAUTHOR
   
COAUTHOR'S LINK
   
CLASSIFICATION
  Data structures 
RELEASE
  2.1 
STABILITY
  unknown stability 
STABLE RELEASE
   
RECENT CHANGES
   
DEPENDS ON OCAML VERSION
   
DEPENDS ON OPERATING SYSTEM
   
DEPENDS ON OTHER SOFTWARE
   
INFO LINK
  http://www.lama.univ-savoie.fr/sitelama/Membres/pages_web/RAFFALLI/bindlib.html 
DOWNLOAD LINK
  ftp://www.lama.univ-savoie.fr/pub/users/RAFFALLI/Bindlib/bindlib-2.1.ocaml.tar.gz 
DATE OF LAST MODIFICATION
  8 Oct 2000 


Navigation: [Sort by date] [Sort by author] [Sort by title] [Sort by classification] [New author] [Login]