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/ |