1
Download:
|
|
by Hassan At-kaci, Jacques Garrigue
ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/fsttcs93-selective-a4.ps.Z
Add To MetaCart
Abstract:
Abstract. We introduce an extension of-calculus, called label-selective-calculus, in which arguments of functions are selected by labels. The set of labels includes numeric positions as well as symbolic keywords. While the latter enjoy free commutation, the former must comply with relative precedence in order to preserve currying. This extension of-calculus is conservative in the sense that when the set of labels is the singleton f1g, it coincides with-calculus. The main result of this paper is that the label-selective-calculus is confluent. In other words, argument selection and reduction commute.
