Translate "Types as a Form of Specification"