A first-order theory of types and polymorphism in logic programming

• Authors:

• Jwo-Nan James Wu

• Affiliations:

• State Univ. of New York at Stony Brook

• Venue:
• A first-order theory of types and polymorphism in logic programming
• Year:
• 1992