{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:51:38Z","timestamp":1725663098939},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540099819"},{"type":"electronic","value":"9783540392330"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/3-540-09981-6_1","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:56:16Z","timestamp":1330188976000},"page":"1-16","source":"Crossref","is-referenced-by-count":0,"title":["Static type checking for languages with parametric types and polymorphic procedures"],"prefix":"10.1007","author":[{"given":"R.","family":"Barbuti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Martelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"1_CR1","unstructured":"Asirelli P., Gimona F., Martelli A., Montanari U. Passing parameter types in programming languages with data abstractions. AICA '77 Congress, Pisa, October 1977, 429\u2013444."},{"key":"1_CR2","unstructured":"Asirelli P., Martelli A., Montanari U. Language constructs for controlling side effects. Internal Report OL78-6, IEI, Pisa, December 1978, Submitted for publication."},{"key":"1_CR3","unstructured":"Asirelli P., Degano P., Levi G., Martelli A., Montanari U., Pacini G., Sirovich F., Turini F. A flexible environment for program development based on a symbolic interpreter. Proc. Fourth Int. Conference on Software Engineering, Munich, September 1979, 251\u2013263."},{"key":"1_CR4","unstructured":"Barbuti R. Verifica dei tipi statica per un linguaggio con procedure polimorfe. AICA '79 Congress, Bari, October 1979."},{"issue":"3","key":"1_CR5","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1145\/390017.808314","volume":"12","author":"P. Cousot","year":"1977","unstructured":"Cousot P., Cousot R. Static determination of dynamic properties of generalized type unions. Language Design for Reliable Software, SIGPLAN Notices, 12, 3, March 1977, 77\u201394.","journal-title":"SIGPLAN Notices"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Demers A., Donahue J., Skinner G. Data types as values: Polimorphism, Type-checking, Encapsulation. Proc. Fifth ACM Symposium on Principles of Programming Languages, Tucson, January 1978, 23\u201330.","DOI":"10.1145\/512760.512764"},{"issue":"4","key":"1_CR7","doi-asserted-by":"crossref","first-page":"546","DOI":"10.1137\/0208044","volume":"8","author":"J. Donahue","year":"1979","unstructured":"Donahue J. On the semantics of \"Data types\". SIAM J. Computing, 8, 4, November 1979, 546\u2013560.","journal-title":"SIAM J. Computing"},{"key":"1_CR8","unstructured":"Donzeau-Gouge V. Utilization de la semantique denotationelle pour la description d'interpretations non-standard: application a la validation et a l'optimisation des programmes. Third International Symp. on Programming, Paris, March 1978, 315\u2013335."},{"key":"1_CR9","unstructured":"Ermine F., Ressouche A. Une methode de verification statique de types. Application au langage Pascal. Third International Symp. on Programming, Paris, March 1978, 292\u2013314."},{"key":"1_CR10","first-page":"523","volume":"77","author":"P. Henderson","year":"1977","unstructured":"Henderson P. An approach to compile time type checking. Information Processing 77, North Holland 1977, 523\u2013527.","journal-title":"Information Processing"},{"key":"1_CR11","first-page":"7","volume":"14","author":"J. D. Ichbiah","year":"1979","unstructured":"Ichbiah J.D. et al. Rationale for the design of the ADA programming language. SIGPLAN Notices, 14, 7, July 1979.","journal-title":"SIGPLAN Notices"},{"key":"1_CR12","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/954666.971189","volume":"12","author":"B. W. Lampson","year":"1977","unstructured":"Lampson B.W., Horning J.J., London R.L., Mitchell J.G., Popek G.L. Report on the programming language Euclid. SIGPLAN Notices (ACM) 12, 2, 1977.","journal-title":"SIGPLAN Notices"},{"issue":"11","key":"1_CR13","doi-asserted-by":"crossref","first-page":"956","DOI":"10.1145\/355606.361876","volume":"15","author":"H. F. Ledgard","year":"1972","unstructured":"Ledgard H.F. A model for type checking \u2014 with an application for Algol 60. Comm. ACM, 15, 11, November 1972, 956\u2013966.","journal-title":"Comm. ACM"},{"key":"1_CR14","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"Milner R. A theory of type polymorphism in programming. J. Comp and System Sciences, 17, 1978, 348\u2013375.","journal-title":"J. Comp and System Sciences"},{"key":"1_CR15","unstructured":"Mitchell J.G., Maybury W., Sweet R. Mesa language manual. Version 5.0. CSL-79-3, XEROX PARC, April 1979."},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Solomon M. Type definition with parameters. Proc. Fifth ACM Symposium on Principles of Programming Languages, Tucson, January 1978, 31\u201337.","DOI":"10.1145\/512760.512765"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Reynolds J.C. Toward a theory of type structure. Lecture Notes in Comp. Science 19, Springer Verlag, Proc. Programming Symp., 1974, 408\u2013425.","DOI":"10.1007\/3-540-06859-7_148"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Tennent R.D. On a new approach to representation-independent data classes. Acta Inform., 1977, 315\u2013324.","DOI":"10.1007\/BF00271340"}],"container-title":["Lecture Notes in Computer Science","International Symposium on Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-09981-6_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:02:01Z","timestamp":1605643321000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-09981-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540099819","9783540392330"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-09981-6_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1980]]}}}