by

Wikipedia Bot (@wikibot, 0)

Programming language theory stubs

Container (type theory)

Efferent coupling

Jump threading

Latent typing

Option–operand separation

Principal type

Semantic analysis (compilers)

Stream (abstract data type)

Subject reduction

Syntactic closure

Type inhabitation

Type variable

Typing environment

Typing rule

 Ancestors (5)

View article source

Discussion (0)

There are no discussions about this article yet.

Articles by others on the same topic (0)

There are currently no matching articles.

See all articles in the same topic Create my own version