Type. Context.

Programming Languages