Directional type inference for logic programs (1998)

by W Charatonik, A Podelski
Venue:In Proceedings of the Fifth International Symposium on Static Analysis