Type" is not a type, Principles of Programming language (0)

by A Meyer, M B Reinhold