Type analysis of logic programs in the presence of type definitions (1995)

by L Lu
Venue:In Proceedings of the 1995 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based program manipulation