Higher-order unification, polymorphism, and subsorts (extended abstract (1990)

Cached

Download Links

by Tobias Nipkow
Venue:Proceedings of the 2nd International Workshop on Conditional and Typed Rewriting Systems
Citations:3 - 0 self