On determining the causes of nonunifiability

Authors:
P. T. Cox
Affiliations:
Technical Univ. of Nova Scotia, Halifax, Nova Scotia, Canada
Venue:
Journal of Logic Programming
Year:
1987

Citing 0
Cited 4

Test-Case Generation from Prolog-Based Specifications

IEEE Software
Source-tracking unification

Information and Computation
Source-tracking unification

Information and Computation
Polymorphic type reconstruction using type equations

IFL'03 Proceedings of the 15th international conference on Implementation of Functional Languages

Quantified Score

Hi-index	0.01

Visualization

Abstract