typecutter

Noun

Meaning

typecutter (plural typecutters)

(printing, historical) A person who cuts the die used in traditional printing.

Source: en.wiktionary.org

typechecker typechecking typeclass typed typed lambda calculus typedef