{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:56Z","timestamp":1725662936233},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540133469"},{"type":"electronic","value":"9783540388913"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/3-540-13346-1_8","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:05:18Z","timestamp":1330193118000},"page":"157-175","source":"Crossref","is-referenced-by-count":4,"title":["A theory of data type representation independence"],"prefix":"10.1007","author":[{"given":"Christopher T.","family":"Haynes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Demers, A., J. Donahue, and G. Skinner, \u201cData Types as Values: Polymorphism, Type-Checking, Encapsulation,\u201d Proceedings of the Fifth ACM Symposium on Principles of Programming Languages, 1978, pp. 23\u201330.","DOI":"10.1145\/512760.512764"},{"key":"8_CR2","volume-title":"The Russell Semantics: An Exercise in Abstract Data Types","author":"A. Demers","year":"1980","unstructured":"Demers, A., and J. Donahue, \u201cThe Russell Semantics: An Exercise in Abstract Data Types,\u201d TR 80-431, Department of Computer Science, Cornell University, Ithaca, NY, 1980."},{"issue":"4","key":"8_CR3","doi-asserted-by":"crossref","first-page":"546","DOI":"10.1137\/0208044","volume":"8","author":"J. Donahue","year":"1979","unstructured":"Donahue, J., \u201cOn the Semantics of \u2018Data Type',\u201d SIAM J. Comput., 1979, Vol. 8, No. 4, pp. 546\u2013560.","journal-title":"SIAM J. Comput."},{"key":"8_CR4","unstructured":"Fokkinga, M., \u201cOn the Notion of Strong Typing,\u201d in Algorithmic Languages, de Bakker and van Vliet (eds.), North-Holland, 1981, pp. 305\u2013320."},{"key":"8_CR5","series-title":"Technical Report","volume-title":"A Theory of Data Type Representation Independence","author":"C. Haynes","year":"1982","unstructured":"Haynes, C., A Theory of Data Type Representation Independence, Ph.D. Dissertation and Technical Report 82-04, University of Iowa, Iowa City, IA, 1982."},{"key":"8_CR6","volume-title":"An Investigation of a Programming Language with Polymorphic Type Structure","author":"N. McCracken","year":"1979","unstructured":"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."},{"key":"8_CR7","volume-title":"A finitary retract model for the polymorphic lambda-calculus","author":"N. McCracken","year":"1983","unstructured":"McCracken, N., \u201cA finitary retract model for the polymorphic lambda-calculus,\u201d TR 83-2, School of Computer and Information Science, Syracuse University, Syracuse, NY, 1983."},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Reynolds, J., \u201cTowards a Theory of Type Structure,\u201d Programming Symposium Proceedings, Paris, 1974, in Lecture Notes in Computer Science, Vol. 19, Springer-Verlag, New York, NY, pp. 408\u2013424.","DOI":"10.1007\/3-540-06859-7_148"},{"key":"8_CR9","unstructured":"Reynolds, J., \u201cTypes, Abstraction, and Parametric Polymorphism,\u201d Proceedings of the IFIP Congress, Paris, September 1983."},{"issue":"3","key":"8_CR10","doi-asserted-by":"crossref","first-page":"522","DOI":"10.1137\/0205037","volume":"5","author":"D. Scott","year":"1976","unstructured":"Scott, D., \u201cData Types as Lattices,\u201d SIAM J. Comput., 1976, Vol. 5, No. 3, pp. 522\u2013587.","journal-title":"SIAM J. Comput."}],"container-title":["Lecture Notes in Computer Science","Semantics of Data Types"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-13346-1_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:52:54Z","timestamp":1619556774000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-13346-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540133469","9783540388913"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-13346-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1984]]}}}