1
INRIA Rocquencourt, BP 105, 78153 Le Chesnay Cedex France.
2
This parameterization is suggested but not implemented in [BOW98].
3
In [BCC+96], object are directly represented as records of functions.
4
Recursively defined parse trees were chosen as a concise illustration rather than as a practical example in [PS94].