nLab
data type

Idea

The concept of type in computer science

References

  • Jim Morris, Types are not sets, Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages (POPL), 1973. (doi)

  • John C. Reynolds, Towards a Theory of Type Structure, Colloquium on Programming, Paris, 9-11 April 1974. (pdf)

  • Barbara Liskov and Stephen Zilles, Programming with Abstract Data Types, Proceedings of the ACM SIGPLAN symposium on Very high level languages, pp. 50-59, 1974. (doi) (citeseer)

  • Arthur Sale, Primitive data types, The Australian Computer Journal, Vol. 9, No. 2, July 1977 (pdf)

Last revised on February 6, 2015 at 09:02:08. See the history of this page for a list of all contributions to it.