{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T05:01:01Z","timestamp":1725858061539},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319401881"},{"type":"electronic","value":"9783319401898"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-40189-8_17","type":"book-chapter","created":{"date-parts":[[2016,6,13]],"date-time":"2016-06-13T11:34:07Z","timestamp":1465817647000},"page":"164-169","source":"Crossref","is-referenced-by-count":4,"title":["Types in Programming Languages, Between Modelling, Abstraction, and Correctness"],"prefix":"10.1007","author":[{"given":"Simone","family":"Martini","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,14]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Abadi, M., Cardelli, L.: A semantics of object types. In: Ninth Annual IEEE Symposium on Logic in Computer Science, pp. 332\u2013341 (1994)","key":"17_CR1","DOI":"10.1109\/LICS.1994.316056"},{"key":"17_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8598-9","volume-title":"A Theory of Objects","author":"M Abadi","year":"1996","unstructured":"Abadi, M., Cardelli, L.: A Theory of Objects. Springer, New York (1996)"},{"issue":"1","key":"17_CR3","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1093\/comjnl\/12.1.41","volume":"12","author":"R Burstall","year":"1969","unstructured":"Burstall, R.: Proving properties of programs by structural induction. Comput. J. 12(1), 41\u201348 (1969)","journal-title":"Comput. J."},{"key":"17_CR4","first-page":"17","volume":"4","author":"R Burstall","year":"1969","unstructured":"Burstall, R., Landin, P.J.: Programs and their proofs: an algebraic approach. Mach. Intell. 4, 17\u201343 (1969)","journal-title":"Mach. Intell."},{"key":"17_CR5","series-title":"Lecture Notes in Computer Science","first-page":"151","volume-title":"Foundations of Object-Oriented Languages","author":"WR Cook","year":"1990","unstructured":"Cook, W.R.: Object-oriented programming versus abstract data types. In: de Bakker, J.W., de Roever, W.P., Rozenberg, G. (eds.) Foundations of Object-Oriented Languages. LNCS, vol. 489, pp. 151\u2013178. Springer, Heidelberg (1990)"},{"doi-asserted-by":"crossref","unstructured":"Cook, W.R., Hill, W., Canning, P.S.: Inheritance is not subtyping. In: Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1990, pp. 125\u2013135. ACM, New York, NY, USA (1990)","key":"17_CR6","DOI":"10.1145\/96709.96721"},{"unstructured":"Curry, H.B.: On the composition of programs for automatic computing. Technical report Memorandum 10337, Naval Ordnance Laboratory (1949)","key":"17_CR7"},{"unstructured":"Dahl, O.-J., Hoare, C.A.R.: Hierarchical program structures. In: Structured Programming, Chap. 3, pp. 175\u2013220. Academic Press (1972)","key":"17_CR8"},{"issue":"9","key":"17_CR9","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1145\/365813.365819","volume":"9","author":"O-J Dahl","year":"1966","unstructured":"Dahl, O.-J., Nygaard, K.: Simula: an ALGOL-based simulation language. Commun. ACM 9(9), 671\u2013678 (1966)","journal-title":"Commun. ACM"},{"issue":"4","key":"17_CR10","doi-asserted-by":"crossref","first-page":"1011","DOI":"10.1093\/logcom\/exs072","volume":"25","author":"L Mol De","year":"2015","unstructured":"De Mol, L., Carl\u00e9, M., Bullyinck, M.: Haskell before Haskell: an alternative lesson in practical logics of the ENIAC. J. Logic Comput. 25(4), 1011\u20131046 (2015)","journal-title":"J. Logic Comput."},{"key":"17_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-84882-914-5","volume-title":"Programming Languages: Principles and Paradigms. Undergraduate Topics in Computer Science","author":"M Gabbrielli","year":"2010","unstructured":"Gabbrielli, M., Martini, S.: Programming Languages: Principles and Paradigms. Undergraduate Topics in Computer Science. Springer, Heidelberg (2010)"},{"unstructured":"Goguen, J.: Some comments on data abstraction. Notes for a course at ETH Zurich (1973)","key":"17_CR12"},{"unstructured":"Goldberg, A., Kay, A.: Smalltalk-72 instruction manual. Technical report SSL 76-6. Learning Research Group, Xerox Palo Alto Research Center (1976)","key":"17_CR13"},{"unstructured":"Guttag, J.: The specification and application to programming of abstract data types. Ph.D. thesis, University of Toronto (1975)","key":"17_CR14"},{"key":"17_CR15","first-page":"39","volume":"21","author":"CAR Hoare","year":"1965","unstructured":"Hoare, C.A.R.: Record handling. ALGOL Bull. 21, 39\u201369 (1965)","journal-title":"ALGOL Bull."},{"unstructured":"Hoare, C.A.R.: Notes on data structuring. In: Structured Programming, Chap. 2, pp. 83\u2013174. Academic Press (1972)","key":"17_CR16"},{"key":"17_CR17","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"CAR Hoare","year":"1972","unstructured":"Hoare, C.A.R.: Proof of correctness of data representation. Acta Informatica 1, 271\u2013281 (1972)","journal-title":"Acta Informatica"},{"key":"17_CR18","first-page":"479","volume-title":"To H.B. Curry: Essays on Combinatory Logic Lambda Calculus and Formalism","author":"WA Howard","year":"1980","unstructured":"Howard, W.A.: The formulae-as-types notion of construction. In: Seldin, J.P., Hindley, J.R. (eds.) To H.B. Curry: Essays on Combinatory Logic Lambda Calculus and Formalism, pp. 479\u2013490. Academic Press, Cambridge (1980)"},{"issue":"8","key":"17_CR19","doi-asserted-by":"crossref","first-page":"564","DOI":"10.1145\/359763.359789","volume":"20","author":"B Liskov","year":"1977","unstructured":"Liskov, B., Snyder, A., Atkinson, R., Schaffert, C.: Abstraction mechanisms in CLU. Commun. ACM 20(8), 564\u2013576 (1977)","journal-title":"Commun. ACM"},{"doi-asserted-by":"crossref","unstructured":"Liskov, B., Zilles, S.: Programming with abstract data types. In: Proceedings of the ACM SIGPLAN Symposium on Very High Level Languages, pp. 50\u201359. ACM (1972)","key":"17_CR20","DOI":"10.1145\/942572.807045"},{"doi-asserted-by":"crossref","unstructured":"Martini, S.: Several types of types in programming languages. Paper Presented at HAPOC 2015, Pisa (2015)","key":"17_CR21","DOI":"10.1007\/978-3-319-47286-7_15"},{"doi-asserted-by":"crossref","unstructured":"McCarthy, J.: A basis for a mathematical theory of computation, preliminary report. In: Papers Presented at the May 9\u201311, 1961, Western Joint IRE-AIEE-ACM Computer Conference, IRE-AIEE-ACM 1961 (Western), pp. 225\u2013238, New York, NY, USA. ACM (1961)","key":"17_CR22","DOI":"10.1145\/1460690.1460715"},{"issue":"3","key":"17_CR23","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. Comput. Syst. Sci. 17(3), 348\u2013375 (1978)","journal-title":"J. Comput. Syst. Sci."},{"doi-asserted-by":"crossref","unstructured":"Morris, J.H.: Types are not sets. In: Proceedings of the 1st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL 1973, pp. 120\u2013124. ACM, New York, NY, USA (1973)","key":"17_CR24","DOI":"10.1145\/512927.512938"},{"issue":"2","key":"17_CR25","doi-asserted-by":"crossref","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"DL Parnas","year":"1972","unstructured":"Parnas, D.L.: On the criteria to be used in decomposing systems into modules. CACM 15(2), 1053\u20131058 (1972)","journal-title":"CACM"},{"issue":"12","key":"17_CR26","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1145\/377924.594925","volume":"1","author":"AJ Perlis","year":"1958","unstructured":"Perlis, A.J., Samelson, K.: Preliminary report: international algebraic language. Commun. ACM 1(12), 8\u201322 (1958)","journal-title":"Commun. ACM"},{"key":"17_CR27","volume-title":"A Science of Operations. Machines, Logic and the Invention of Programming","author":"M Priestley","year":"2011","unstructured":"Priestley, M.: A Science of Operations. Machines, Logic and the Invention of Programming. Springer, Heidelberg (2011)"},{"doi-asserted-by":"crossref","unstructured":"Reddy, U.S.: Objects of closures: abstract semantics of object oriented languages. In: ACM Conference on Lisp and functional programming. ACM (1988)","key":"17_CR28","DOI":"10.1145\/62678.62721"},{"key":"17_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1007\/3-540-06859-7_148","volume-title":"Programming Symposium","author":"JC Reynolds","year":"1974","unstructured":"Reynolds, J.C.: Towards a theory of type structure. In: Robinet, B. (ed.) Programming Symposium. LNCS, vol. 19, pp. 408\u2013423. Springer, London (1974)"},{"unstructured":"Sites, R.L.: Algol W reference manual. Technical report STAN-CS-71-230, Computer Science Department, Stanford University (1972)","key":"17_CR30"}],"container-title":["Lecture Notes in Computer Science","Pursuit of the Universal"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-40189-8_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,9]],"date-time":"2019-09-09T13:45:28Z","timestamp":1568036728000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40189-8_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319401881","9783319401898"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40189-8_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}