On a new approach to representation independent data classes

This publication has 10 references indexed in Scilit:

• Report on the programming language Euclid
  ACM SIGPLAN Notices, 1977
• Language design methods based on semantic principles
  Acta Informatica, 1977
• Design and implementation of modula
  Software: Practice and Experience, 1977
• Data base abstraction
  ACM SIGPLAN Notices, 1976
• Some ideas on data types in high level languages
  Published by Association for Computing Machinery (ACM) ,1976
• The programming language Concurrent Pascal
  IEEE Transactions on Software Engineering, 1975
• Types are not sets
  Published by Association for Computing Machinery (ACM) ,1973
• Protection in programming languages
  Communications of the ACM, 1973
• Proof of correctness of data representations
  Acta Informatica, 1972
• Proof of a structured program: 'The sieve of Eratosthenes'
  The Computer Journal, 1972