Derivation of Polymorphic Types for PROLOG Programs.

Justin Zobel

Browse the full ICLP paper archive.