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

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

Label
Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings
Title
Semantics of data types
Title remainder
international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings
Statement of responsibility
edited by G. Kahn, D.B. MacQueen, and G. Plotkin
Contributor
Subject
Genre
Member of
Cataloging source
DLC
Illustrations
  • photographs
  • charts
LC call number
QA76.7
LC item number
.S44 1984
Nature of contents
  • encyclopedias
  • surveys of literature
  • legal articles
http://library.link/vocab/relatedWorkOrContributorDate
  • 1946-
  • 1946-
  • 1984
http://library.link/vocab/relatedWorkOrContributorName
  • International Federation for Information Processing
  • European Association for Theoretical Computer Science
  • Kahn, G
  • MacQueen, D. B.
  • Plotkin, G.
  • International Symposium on the Semantics of Data Types
Series statement
Lecture notes in computer science
Series volume
173
http://library.link/vocab/subjectName
  • Programming languages (Electronic computers)
  • Data structures (Computer science)
  • sémantique langage programmation
  • vérification programme
  • type abstrait
  • sémantique
  • type donnée
  • Langages de programmation
  • Structures de données (Informatique)
  • Langages de programmation
  • Structures de données (informatique)
  • Data structures (Computer science)
  • Programming languages (Electronic computers)
Label
Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings, edited by G. Kahn, D.B. MacQueen, and G. Plotkin
Instantiates
Publication
Note
  • Proceedings of the International Symposium on the Semantics of Data Types
  • "The symposium was sponsored by IFIP and EATCS"--Foreword
Bibliography note
Includes bibliographic references
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Dimensions
25 cm.
Extent
vi, 391 pages
Isbn
9780387133461
Lccn
84010575
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
(OCoLC)10798990
Label
Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings, edited by G. Kahn, D.B. MacQueen, and G. Plotkin
Publication
Note
  • Proceedings of the International Symposium on the Semantics of Data Types
  • "The symposium was sponsored by IFIP and EATCS"--Foreword
Bibliography note
Includes bibliographic references
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Dimensions
25 cm.
Extent
vi, 391 pages
Isbn
9780387133461
Lccn
84010575
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
(OCoLC)10798990

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...