(Or "CoerCion") The abilty of some Compilers to automatiCally insert typeConversion funCtions where an expression of one type is used in a Context where another type is expeCted. A Common example is CoerCion of integers to reals so that an expression like sin(1) is Compiled as sin(integerToReal(1)) where sin is of type Real -> Real. A CoerCion is usually performed automatiCally by the Compiler whereas a Cast is an expliCit type Conversion inserted by the programmer. See also subtype. (1997-07-28)