meaning of header

1. One who, or that which, heads nails, rivets, etc. , esp. a machine for heading.
2.
One who heads a movement, a party, or a mob; head; chief; leader.
3.
A brick or stone laid with its shorter face or head in the surface of the wall.
4.
In framing, the piece of timber fitted between two trimmers, and supported by them, and carrying the ends of the tailpieces.
5.
A reaper for wheat, that cuts off the heads only.
6.
A fall or plunge headforemost, as while riding a bicycle, or in bathing; as, to take a header.
7.
header 1. The portion of a packet, preceding the actual data, containing source and destination addresses, error checking and other fields. 2. The part of an electronic mail message or news article that precedes the body of a message and contains, among other things, the senders name and e-mail address and the date and time the message was sent. Head Normal Form reduction> HNF A term describing a lambda expression whose 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. Compare Weak Head Normal Form.
8.
a headlong jump or fall; "he took a header into the ">shrubbery"


Related Words

header |

Developed & Maintained By Taraprasad.com

Treasure Words