A First-Order Theory of Types and Polymorphism in Logic Programming

Michael Kifer, James Wu

Browse the full LICS paper archive.