VDict - Definition of ZF expression

Computing (FOLDOC) dictionary

ZF expression

Jump to user comments

programming (After Zermelo Frankel set theory). DavidTurner's name for list comprehension.

(1995-03-27)

Related search result for "ZF expression"

Words contain "ZF expression" in its definition in Computing (FOLDOC) dictionary:
maximal free expression Church-Rosser Theorem black hole suspension type inference guard redex principal type beta abstraction grep more...

Comments and discussion on the word "ZF expression"