cited by index terms collaborative colleagues
Primary Classification: F. Theory of Computation F.3 LOGICS AND MEANINGS OF PROGRAMS F.3.3 Studies of Program Constructs Subjects: Type structure
General Terms: Languages, Theory