Integrating Modes and Subtypes into a Prolog Type-Checker.

Yann Rouzaud, Lan Nguyen-Phuong

Browse the full ICLP paper archive.