Third-Order Matching in the Presence of Type Constructors (1994)

Cached

Download Links

by Jan Springintveld
Citations:4 - 1 self