Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap

type assignment

You are here: irt.org | FOLDOC | 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.


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

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb