Version française
Home     About     Download     Resources     Contact us    

The Caml Hump: Wallace

Wallace

Wallace is a generic subtyping-constraint-handling library. It deals with constraint solving and simplification, and it is parameterized by the definition of a type algebra. Its goal is to serve as a plug-in component in the design of a constraint-based type-checker, regardless of the programming language being analyzed.
Homepage ]
Author:François Pottier.
Last modification date:14-Mar-2003
Version:2002/11/02
Development status:Beta
Kind: Libraries :: Native OCaml libraries
Topic: Science :: Typing
Homepage:http://cristal.inria.fr/~fpottier/wallace/