{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:50Z","timestamp":1725662930368},"publisher-location":"Berlin, Heidelberg","reference-count":19,"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_1","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:04:35Z","timestamp":1330193075000},"page":"1-50","source":"Crossref","is-referenced-by-count":35,"title":["A kernel language for abstract data types and modules"],"prefix":"10.1007","author":[{"given":"R.","family":"Burstall","sequence":"first","affiliation":[]},{"given":"B.","family":"Lampson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1145\/954587.954588","volume":"13","author":"F.L. Bauer","year":"1978","unstructured":"Bauer, F.L., Broy, M., Gnatz, R., Hesse, W., Krieg-Bruckner, B., Partsch, H., Pepper, P. and Wossner, H. (1978). Towards a wide spectrum language to support program specification and program development. SIGPLAN Notices 13, 15\u201324.","journal-title":"SIGPLAN Notices"},{"key":"1_CR2","unstructured":"Burstall, R. and Goguen, J. (1977). Putting theories together to make specifications. 5th Joint International Conference on Artificial Intelligence, Cambridge, MA, 1045\u20131058."},{"key":"1_CR3","unstructured":"Demers, A. and Donahue, J. (1980). Datatypes, parameters and type checking. 7th ACM Symposium on Principles of Programming Languages, Las Vegas, 12\u201323."},{"key":"1_CR4","unstructured":"Girard, J.-Y. (1972). Interpretation Fonctionelle et Elimination des Coupures dans l'Arithmetique d'Ordre Superieur, These de Doctorat d'etat, University of Paris."},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Gordon, M., Milner, R. and Wadsworth, C. (1979). Edinburgh LCF. Lecture Notes in Computer Science, Springer.","DOI":"10.1007\/3-540-09724-4"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Lampson, B. and Schmidt, E. (1983). Practical use of a polymorphic applicative language. 10th ACM Symposium on Principles of Programming Languages, Austin, TX.","DOI":"10.1145\/567067.567090"},{"key":"1_CR7","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1145\/365230.365257","volume":"9","author":"P. Landin","year":"1964","unstructured":"Landin, P. (1964). The Next 700 Programming Languages. Comm. ACM, 9, 157\u2013166.","journal-title":"Comm. ACM"},{"key":"1_CR8","unstructured":"MacQuecn, D. and Sethi, R. (1982). A higher order polymorphic type system for applicative languages. Symposium on Lisp and Functional Programming, Pittsburgh, PA, 243\u2013252."},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"MacQueen, D., Plotkin, G. and Sethi, R. (1984). An ideal model for recursive polymorphic types. 11th ACM Symposium on Principles of Programming Languages, Salt Lake City, UT.","DOI":"10.1145\/800017.800528"},{"key":"1_CR10","volume-title":"Polymorphism","author":"D. MacQueen","year":"1984","unstructured":"MacQueen, D. (1984). Modules for standard ML (draft), in Polymorphism (ed. L. Cardelli), Computer Science Dept., Bell Labs., Murray Hill, NJ (privately circulated)."},{"key":"1_CR11","unstructured":"Martin-Lof, P. (1973). An intuitionistic theory of types: predicative part, in Logic Colloq. '73 (eds. H.E. Rose and J.C. Shepherdson) North-Holland, 73\u2013118."},{"key":"1_CR12","volume-title":"An Investigation of a Programming Language with a Polymorphic Type Structure","author":"N. McCracken","year":"1979","unstructured":"McCracken, N. (1979). An Investigation of a Programming Language with a Polymorphic Type Structure. Ph.D. thesis, Computer and Information Science, Syracuse University, Syracuse, NY."},{"issue":"3","key":"1_CR13","first-page":"348","volume":"17","author":"R. Milner","year":"1978","unstructured":"Milner, R. (1978) A theory of type polymorphism in programming. JCSS 17 (3), 348\u2013275.","journal-title":"JCSS"},{"key":"1_CR14","volume-title":"Mesa Language Manual. Report Csl-79-3","author":"J. Mitchell","year":"1979","unstructured":"Mitchell, J., Maybury, W. and Sweet, R. (1979). Mesa Language Manual. Report Csl-79-3, Xerox Palo Alto Research Center, Palo Alto, CA."},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Pepper, P. (1979) A Study on Transformational Semantics. Dissertation, Fachbereich Mathematik, Technische Universitat M\u00fcnchen.","DOI":"10.1007\/BFb0014674"},{"key":"1_CR16","unstructured":"Plotkin, G. (1981) A Structural Approach to Operational Semantics. Computer Science Dept. Report, Aarhus University."},{"key":"1_CR17","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1007\/3-540-06859-7_148","volume":"19","author":"J. Reynolds","year":"1974","unstructured":"Reynolds, J. (1974) Towards a theory of type structure. Lecture Notes in Computer Science 19, Springer, 408\u2013425.","journal-title":"Lecture Notes in Computer Science"},{"key":"1_CR18","unstructured":"Reynolds, J. (1983) Types, abstraction and parametric polymorphism, in Information Processing 83, North-Holland."},{"key":"1_CR19","volume-title":"Controlling Large Software Development in a Distributed Environment. Report Csl-82-7","author":"E. Schmidt","year":"1982","unstructured":"Schmidt, E. (1982) Controlling Large Software Development in a Distributed Environment. Report Csl-82-7, Xerox Palo Alto Research Center, Palo Alto, CA."}],"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_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T17:40:25Z","timestamp":1687282825000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-13346-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540133469","9783540388913"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-13346-1_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1984]]}}}