Semantics of data types. International Symposium, Sophia-Antipolis, France, June 27-29, 1984. Proceedings
From MaRDI portal
Publication:790091
zbMATH Open0534.00019MaRDI QIDQ790091FDOQ790091
Author name not available (Why is that?)
Publication date: 1984
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
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
- 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
- Type checking with universes
- Static semantics, types, and binding time analysis
- Title not available (Why is that?)
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)
