Functional Unification of Higher-Order Patterns

Tobias Nipkow

Browse the full LICS paper archive.