Type Inferencing for Polymorphic Order-Sorted Logic Programs (1995)

Cached

Download Links

by Christoph Beierle
Venue:PROCEEDINGS OF THE TWELFTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING
Citations:23 - 0 self