[hed-mis-tris] /ˈhɛdˈmɪs trɪs/
a woman in charge of a private school.
a female principal of a school Gender-neutral form head teacher
/ˌhɛdˈmɪstrɪsɪ/ adjective 1. typical of the duties and behaviour of a headmistress
noun 1. a tax of so much per head or person. 2. a reward paid for capturing or killing an outlaw, fugitive, or the like. noun 1. a reward paid for the capture or slaying of a fugitive, outlaw, etc 2. an archaic term for poll tax
[hed-mohst or, esp. British, -muh st] /ˈhɛdˌmoʊst or, esp. British, -məst/ adjective 1. most advanced; foremost. /ˈhɛdˌməʊst/ adjective 1. a less common word for foremost
- Head normal form
theory, 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 […]