Types in a Mixed Language System

Philippe Darondeau, Paul Le Guernic, Michel Raynal. Types in a Mixed Language System. BIT, 21(3):246-254, 1981.

Abstract

Abstract is missing.