VDict - Definition of Weak Head Normal Form

search result for Weak Head Normal Form in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 6 7 Next > Last

Weak Head Normal Form normal form Head Normal Form WHNF Root Normal Form head normalisation theorem database normalisation Church-Rosser Theorem evaluator name capture CPL Conjunctive Normal Form Computational Adequacy Theorem BNF scan register Backus Normal Form Nondeterministic Turing Machine boustrophedonic pragma Backus-Naur Form call-by-name Codd's First Normal Form fourth normal form first normal form fifth normal form third normal form second normal form RNF DNF refutable level-sensitive scan design SNAFU principle diverge Disjunctive Normal Form parallel reduction repeating group Partial Response Maximum Likelihood head-strict track deep space fault tolerance special-case weak typing encryption FORM disk drive CGI program graph reduction single static assignment Advanced Intelligent Tape Hacking X for Y exception plaintext uncurrying re-engineering rotational latency winchester cylinder differential line Dragon Book C+-IFDL type inference weakly typed Augmented Backus-Naur Form form feed Axiom of Comprehension stack Run Length Limited co-location client-server Ivan Sutherland frob Extended Backus-Naur Form Canonical Encoding Rules Hitachi 6309 library lazy evaluation stemmer bell curve

First < Previous 1 2 3 4 5 6 7 Next > Last