Semantics of data types : International symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings - MacQueen, David B.; Plotkin, Gordon (Lecture notes in computer science, 1984)