Optimizing Higher-Order Pattern Unification.

Brigitte Pientka, Frank Pfenning

Browse the full CADE paper archive.