No CrossRef data available.
Article contents
Terminating comprehensions
Published online by Cambridge University Press: 07 November 2008
Abstract
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.
- Type
- Articles
- Information
- Copyright
- Copyright © Cambridge University Press 1993
Discussions
No Discussions have been published for this article.