0 in a general way and not based on particular examples: --
1 in a general way, not based on particular examples: --
If we think abstractly, a pickle is a specification for a catamorphism: a higher-order function that builds trees.
More abstractly yet, we might view as a pair of relations obtained from these sets of trees.
Our approach is based on tracing lazy computations abstractly.
This ensures that we do not inadvertently refer to any type variable bound in the context where we are introducing the abstractly encoded type.
The acousmatic approach, for instance, has increasingly, particularly among the younger generation, embraced various means to address the audience other than purely abstractly.
A parametric function may not examine u its argument; it may only use it abstractly or "push it around".
Abstractly, we can imagine it storing a set of version stamp/value pairs.
Ideally, this would be achieved by first formulating a given technique "abstractly", and then showing how it applies in concrete situations.
