Using Types as Approximations for Type Checking Prolog Programs.

Published in: Fuji International Symposium on Functional and Logic Programming (1999)