No CrossRef data available.
Published online by Cambridge University Press: 07 November 2008
List terminators are discussed as a new form of qualifier in list comprehensions for early termination of a list. The semantics of list terminators is expressed in terms of an optimal translation of list comprehensions (cf. Wadler, 1987) because it makes direct use of a continuation list.
Discussions
No Discussions have been published for this article.