Partial Higher-Order Specifications