Copyright © Philip M. Parker, INSEAD. Terms of Use.
| Domain | Definition |
Computing | Head normal form (HNF) A lambda expression is in head normal form if its top level is either a variable, a data value, a built-in function applied to too few arguments or a lambda abstraction whose body is not reducible. I.e. the top level is neither a redex nor a lambda abstraction with a reducible body. An expression in HNF may contain redexes in argument postions whereas a normal form may not. See also Weak head normal form. Source: The Free On-line Dictionary of Computing. |
Source: compiled by the editor from various references; see credits. | |
Crosswords: HEAD NORMAL FORM |
| Specialty definitions using "HEAD NORMAL FORM": head normalisation theorem ♦ name capture, normal form ♦ Root Normal Form ♦ Weak Head Normal Form, WHNF. (references) |
Expression using "HEAD NORMAL FORM": weak Head Normal Form. Additional references. | |
| Source: compiled by the editor from various references; see credits. |
Scrabble® Enable2K-Verified Anagrams | |
| Words within the letters "a-a-d-e-f-h-l-m-m-n-o-o-r-r" | |
-5 letters: ealdorman, farandole, malformed, marmoreal, marmorean, melodrama, memoranda, monodrama. | |
| Source: compiled by the editor from various references; see credits. SCRABBLE® is a registered trademark. All intellectual property rights in and to the game are owned in the U.S.A and Canada by Hasbro Inc., and throughout the rest of the world by J.W. Spear & Sons Limited of Maidenhead, Berkshire, England, a subsidiary of Mattel Inc. Mattel and Spear are not affiliated with Hasbro. | |
Hexadecimal (or equivalents, 770AD-1900s) (references)48 45 41 44 4E 4F 52 4D 41 4C 46 4F 52 4D |
| Leonardo da Vinci (1452-1519; backwards) (references)
|
Binary Code (1918-1938, probably earlier) (references)01001000 01000101 01000001 01000100 00100000 01001110 01001111 01010010 01001101 01000001 01001100 00100000 01000110 01001111 01010010 01001101 |
HTML Code (1990) (references)H E A D   N O R M A L   F O R M |
ISO 10646 (1991-1993) (references)0048 0045 0041 0044 004E 004F 0052 004D 0041 004C 0046 004F 0052 004D |
Encryption (beginner's substitution cypher): (references)423935382484952473546240495247 |
| 1. Crosswords 2. Expressions 3. Anagrams 4. Orthography | 5. Bibliography |
Copyright © Philip M. Parker, INSEAD. Terms of Use.
