type assignment

<theory> A mapping of the free variables of some expression E to types. This is used in type inference to deduce the type of E and its subexpressions.

Last updated: 2002-02-22

Try this search on Wikipedia, OneLook, Google

Nearby terms: type « type-ahead « type-ahead search « type assignment » type class » typed lambda-calculus » TypedProlog


Loading

Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.