Preview
Unable to display preview. Download preview PDF.
6 References
Demers, A., J. Donahue, and G. Skinner, “Data Types as Values: Polymorphism, Type-Checking, Encapsulation,” Proceedings of the Fifth ACM Symposium on Principles of Programming Languages, 1978, pp. 23–30.
Demers, A., and J. Donahue, “The Russell Semantics: An Exercise in Abstract Data Types,” TR 80-431, Department of Computer Science, Cornell University, Ithaca, NY, 1980.
Donahue, J., “On the Semantics of ‘Data Type',” SIAM J. Comput., 1979, Vol. 8, No. 4, pp. 546–560.
Fokkinga, M., “On the Notion of Strong Typing,” in Algorithmic Languages, de Bakker and van Vliet (eds.), North-Holland, 1981, pp. 305–320.
Haynes, C., A Theory of Data Type Representation Independence, Ph.D. Dissertation and Technical Report 82-04, University of Iowa, Iowa City, IA, 1982.
McCracken, N., An Investigation of a Programming Language with Polymorphic Type Structure, Ph.D. Dissertation, School of Computer and Information Science, Syracuse University, Syracuse, NY, 1979.
McCracken, N., “A finitary retract model for the polymorphic lambda-calculus,” TR 83-2, School of Computer and Information Science, Syracuse University, Syracuse, NY, 1983.
Reynolds, J., “Towards a Theory of Type Structure,” Programming Symposium Proceedings, Paris, 1974, in Lecture Notes in Computer Science, Vol. 19, Springer-Verlag, New York, NY, pp. 408–424.
Reynolds, J., “Types, Abstraction, and Parametric Polymorphism,” Proceedings of the IFIP Congress, Paris, September 1983.
Scott, D., “Data Types as Lattices,” SIAM J. Comput., 1976, Vol. 5, No. 3, pp. 522–587.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Haynes, C.T. (1984). A theory of data type representation independence. In: Kahn, G., MacQueen, D.B., Plotkin, G. (eds) Semantics of Data Types. SDT 1984. Lecture Notes in Computer Science, vol 173. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-13346-1_8
Download citation
DOI: https://doi.org/10.1007/3-540-13346-1_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13346-9
Online ISBN: 978-3-540-38891-3
eBook Packages: Springer Book Archive