Type Classes and Overloading Resolution via Order-Sorted Unification.

Tobias Nipkow Gregor Snelting

Published in: FPCA (1991)

Keyphrases

predicate logic
order sorted
low resolution
real time
high resolution
database
high quality
general purpose
higher order
knowledge based systems
service composition
theorem proving