Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings / edited by G. Kahn, D.B. MacQueen, and G. Plotkin.

Format Book
Publication InfoBerlin ; New York : Springer-Verlag, 1984.
Descriptionvi, 391 pages ; 25 cm.
Subjects
Programming languages (Electronic computers)--Semantics. --Congresses.
Data structures (Computer science)--Congresses.

Other author/creatorKahn, G.
Other author/creatorMacQueen, D. B. (David B.), 1946-
Other author/creatorPlotkin, G. (Gordon), 1946-
Other author/creatorInternational Federation for Information Processing.
Other author/creatorEuropean Association for Theoretical Computer Science.
Other author/creatorInternational Symposium on the Semantics of Data Types (1984 : Sophia-Antipolis, France)
SeriesLecture notes in computer science ; 173
Lecture notes in computer science 173. ^A466336
General noteProceedings of the International Symposium on the Semantics of Data Types.
General note"The symposium was sponsored by IFIP and EATCS"--Foreword.
LCCN 84010575
ISBN0387133461 (U.S.)

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks QA76.7 .S44 1984 ✔ Available Place Hold