A Type Inference System for Prolog.

Jiyang Xu, David Scott Warren

Browse the full ICLP paper archive.