Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

The Caml Hump: 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
Development status:Beta
Kind: Libraries :: Native OCaml libraries
Topic: Science :: Typing