Implementations of the languages in Types and Programming Languages.