Lambda the Ultimate

{x : x ∉ ∅} (but more specifically, JavaScript, E4X, ES4, and language implementation; still working on the theory aspects and understanding of language-specific techniques)