Semantics of data types International Symposium [on the Semantics of Data Types] Sophia-Antipolis, France, June 27 - 29, 1984 ; proceedings (Springer, 1984)