type-shifting

Today it means: An operation or rule that maps the denotation of an expression of one semantic type to a related denotation of a different type, allowing it to be interpreted with a type other than its basic one. Full definition →