Proceedings on semantics of data types - Kahn G Ed.; International symposium on semantics of data types (1984 : Sophia-Antipolis France); Macqueen D B Ed.; Plotkin G Ed. (Berlin Springer-Verlag, 1984)
Keywords: Computer programming