User-Defined Types in a Polymorphic Language

David M. Harland. User-Defined Types in a Polymorphic Language. Comput. J., 27(1):47-56, 1984.

Abstract

Abstract is missing.