{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:44:52Z","timestamp":1725806692887},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319127354"},{"type":"electronic","value":"9783319127361"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-12736-1_6","type":"book-chapter","created":{"date-parts":[[2014,10,13]],"date-time":"2014-10-13T10:53:24Z","timestamp":1413197604000},"page":"99-119","source":"Crossref","is-referenced-by-count":3,"title":["Types for Flexible Objects"],"prefix":"10.1007","author":[{"given":"Zachary","family":"Palmer","sequence":"first","affiliation":[]},{"given":"Pottayil Harisanker","family":"Menon","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Rozenshteyn","sequence":"additional","affiliation":[]},{"given":"Scott","family":"Smith","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Aiken, A., Wimmers, E.L., Lakshman, T.K.: Soft typing with conditional types. In: POPL 21, pp. 163\u2013173 (1994)","DOI":"10.1145\/174675.177847"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Blume, M., Acar, U.A., Chae, W.: Extensible programming with first-class cases. In: ICFP, pp. 239\u2013250 (2006)","DOI":"10.1145\/1160074.1159836"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"992","DOI":"10.1016\/j.scico.2010.04.006","volume":"76","author":"L. Bettini","year":"2011","unstructured":"Bettini, L., Bono, V., Venneri, B.: Delegation by object composition. Science of Computer Programming\u00a076, 992\u20131014 (2011)","journal-title":"Science of Computer Programming"},{"issue":"1-2","key":"6_CR4","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1006\/inco.1999.2829","volume":"155","author":"K.B. Bruce","year":"1999","unstructured":"Bruce, K.B., Cardelli, L., Pierce, B.C.: Comparing object encodings. Information and Computation\u00a0155(1-2), 108\u2013133 (1999)","journal-title":"Information and Computation"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"462","DOI":"10.1007\/BFb0054104","volume-title":"ECOOP \u201998 - Object-Oriented Programming","author":"V. Bono","year":"1998","unstructured":"Bono, V., Fisher, K.: An imperative, first-order calculus with object extension. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol.\u00a01445, pp. 462\u2013497. Springer, Heidelberg (1998)"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Castagna, G., Nguyen, K., Xu, Z., Im, H., Lenglet, S., Padovani, L.: Polymorphic functions with set-theoretic types. Part 1: Syntax, semantics, and evaluation. In: POPL (2014)","DOI":"10.1145\/2535838.2535840"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Chugh, R., Rondon, P.M., Jhala, R.: Nested refinements: A logic for duck typing. In: POPL (2012)","DOI":"10.1145\/2103656.2103686"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Furr, M., (David) An, J.-H., Foster, J.S., Hicks, M.: Static type inference for Ruby. In: SAC (2009)","DOI":"10.1145\/1529282.1529700"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/3-540-48743-3_13","volume-title":"ECOOP \u201999 - Object-Oriented Programming","author":"T.D. Millstein","year":"1999","unstructured":"Millstein, T.D., Chambers, C.: Modular statically typed multimethods. In: Guerraoui, R. (ed.) ECOOP 1999. LNCS, vol.\u00a01628, pp. 279\u2013303. Springer, Heidelberg (1999)"},{"key":"6_CR10","unstructured":"Menon, P.H., Palmer, Z., Rozenshteyn, A., Smith, S.: Tinybang implementation (March 2014), \n                    \n                      http:\/\/pl.cs.jhu.edu\/big-bang\/tiny-bang_2014-03-01.tgz"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Menon, P.H., Palmer, Z., Rozenshteyn, A., Smith, S.: Types for flexible objects. Technical report, The Johns Hopkins University Programming Languages Laboratory (March 2014), \n                    \n                      http:\/\/pl.cs.jhu.edu\/big-bang\/types-for-flexible-objects_2014-03-25.pdf","DOI":"10.1007\/978-3-319-12736-1_6"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Nishimura, S.: Static typing for dynamic messages. In: POPL (1998)","DOI":"10.1145\/268946.268968"},{"issue":"4","key":"6_CR13","first-page":"312","volume":"7","author":"F. Pottier","year":"2000","unstructured":"Pottier, F.: A versatile constraint-based type inference system. Nordic J. of Computing\u00a07(4), 312\u2013347 (2000)","journal-title":"Nordic J. of Computing"},{"key":"6_CR14","unstructured":"R\u00e9my, D.: Type inference for records in a natural extension of ML. In: Theoretical Aspects of Object-Oriented Programming. MIT Press (1994)"},{"issue":"1","key":"6_CR15","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.2000.2925","volume":"172","author":"J.G. Riecke","year":"2002","unstructured":"Riecke, J.G., Stone, C.A.: Privacy via subsumption. Inf. Comput.\u00a0172(1), 2\u201328 (2002)","journal-title":"Inf. Comput."},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Shields, M., Meijer, E.: Type-indexed rows. In: POPL, pp. 261\u2013275 (2001)","DOI":"10.1145\/373243.360230"},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/3-540-45337-7_6","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"T. Wang","year":"2001","unstructured":"Wang, T., Smith, S.F.: Precise constraint-based type inference for Java. In: Lindskov Knudsen, J. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, pp. 99\u2013177. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-12736-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T00:17:13Z","timestamp":1559002633000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-12736-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319127354","9783319127361"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-12736-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}