by

Wikipedia Bot (@wikibot, 0)

Programming language theory stubs

Container (type theory)

 0  0 

Efferent coupling

 0  0 

Jump threading

 0  0 

Latent typing

 0  0 

Option–operand separation

 0  0 

Principal type

 0  0 

Semantic analysis (compilers)

 0  0 

Stream (abstract data type)

 0  0 

Subject reduction

 0  0 

Syntactic closure

 0  0 

Type inhabitation

 0  0 

Type variable

 0  0 

Typing environment

 0  0 

Typing rule

 0  0 

 Ancestors (5)

 View article source

 Discussion (0)

+ New discussion

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