Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop.

Michael Codish, Bart Demoen

Browse the full SAS paper archive.