programming (After Zermelo Fränkel set theory). David Turner's name for list comprehension. (1995-03-27)