Statistics of Functions-as-constructors Higher-order Unification: Extended Pattern Unification

Contact ORBilu