What kinds of languages in which parametric judgments are required to specify?

General