latent typing

type system where types are associated with values and not variables

Kategorie: