Type Passing Semantics
Used by the language liML , the Intermediate language of TIL/ML and FLINT compilers
Unlike most calculi where types may be erased prior to run-time, types do have an operational significance -- they are arguments to typecase terms.