Type Compatibility for Extensible Module Types, Their Reference Parameters, and Their Pointer Types

J├╝rgen F. H. Winkler. Type Compatibility for Extensible Module Types, Their Reference Parameters, and Their Pointer Types. J. UCS, 3(2):120-146, 1997. [doi]

Bibliographies