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. 120-146 1997 3 J. UCS 2 db/journals/jucs/jucs3.html#Winkler97 http://www.jucs.org/jucs_3_2/type_compatibility_for_extensible