Hext, J. B. "Compile-time type-matching"

(1967) The Computer Journal 9(4) 1967  

Languages mentioned CPL {1963} Combined Programming Language