Semantics of data types. International Symposium, Sophia-Antipolis, France, June 27-29, 1984. Proceedings

MaRDI QIDQ790091zbMATH OpenFDO

Authors

Publication date 1984

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

ProceedingsSymposiumSemanticsData typesSophia-Antipolis/France

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Conference proceedings and collections of articles (00Bxx)

Cited in

(5)

• Recents trends in data type specification. 8th workshop on specification of abstract data types joint with the 3rd COMPASS workshop, Dourdan, France, August 26-30, 1991. Selected papers
• Type checking with universes
• Static semantics, types, and binding time analysis
• Recent trends in data type specification. 9th Workshop on Specification of abstract data types joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Selected papers
• scientific article; zbMATH DE number 193310 (Why is no real title available?)

This page was built for publication: Semantics of data types. International Symposium, Sophia-Antipolis, France, June 27-29, 1984. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q790091)