Automatic Construction of Prolog Primitives for Type Checking Analysis.

Pierre De Boeck, Baudouin Le Charlier

Browse the full SAS paper archive.