A Second Order Theory of Data Types.

Zhang Ming-Hua A Second Order Theory of Data Types. 283-303 1988 25 Acta Inf. 3 db/journals/acta/acta25.html#Ming-Hua88