IBM Research © 2004 IBM Corporation Applications of Type Constraints in Software Engineering Tools Frank Tip IBM T.J. Watson Research Center.
