VDict - Definition of ZF expression

search result for ZF expression in Computing (FOLDOC) dictionary

First < Previous 1 2 Next > Last

maximal free expression Church-Rosser Theorem black hole suspension type inference guard redex principal type beta abstraction grep lambda abstraction graph reduction unwind-protect Weak Head Normal Form lvalue expression tree Stack Environment Control Dump machine Kleene star Codd's reduction algorithm normal order reduction control structure fully lazy lambda lifting lazy evaluation M-expression LISP partial evaluation switch statement linear argument closure functional programming MLISP satisfiability problem implicit type conversion thunk explicit type conversion sound Head Normal Form applicative order reduction reduction dereference referential transparency name capture precedence lossage symbolic mathematics Icon refutable C preprocessor generic type variable list comprehension REC ZF expression SL5 emote shit hit the fan regex MFE String EXpression Interpreter pleonasm Yow!flatten RE evaluation visual programming language gurfle type assignment s///TrafoLa \sqsubseteq actual argument EOL regexp purely functional language lambda expression Path Pascal Cigale assertion polynomial assignment Boolean A-language Sed

First < Previous 1 2 Next > Last