{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,12]],"date-time":"2026-11-12T06:56:20Z","timestamp":1794466580229,"version":"4.9.1"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319035413","type":"print"},{"value":"9783319035420","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-03542-0_11","type":"book-chapter","created":{"date-parts":[[2013,12,9]],"date-time":"2013-12-09T11:31:54Z","timestamp":1386588714000},"page":"156-171","source":"Crossref","is-referenced-by-count":0,"title":["Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance"],"prefix":"10.1007","author":[{"given":"Jieung","family":"Kim","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sukyoung","family":"Ryu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Victor","family":"Luchangco","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"suffix":"Jr.","given":"Guy L.","family":"Steele","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Allen, E., Chase, D., Hallett, J.J., Luchangco, V., Maessen, J.-W., Ryu, S., Steele Jr., G.L., Tobin-Hochstadt, S.: The Fortress Language Specification Version 1.0 (March 2008)"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Allen, E., Hallett, J.J., Luchangco, V., Ryu, S., Steele, G.: Modular multiple dispatch with multiple inheritance. In: Proc. ACM Symposium on Applied Computing (2007)","DOI":"10.1145\/1244002.1244245"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Allen, E., Hilburn, J., Kilpatrick, S., Luchangco, V., Ryu, S., Chase, D., Steele Jr., G.L.: Type-checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance. In: OOPSLA (2011)","DOI":"10.1145\/2048066.2048140"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Castagna, G., Ghelli, G., Longo, G.: A calculus for overloaded functions with subtyping. In: LFP (1992)","DOI":"10.1145\/141471.141537"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BFb0053029","volume-title":"ECOOP \u201992 European Conference on Object-Oriented Programming","author":"C. Chambers","year":"1992","unstructured":"Chambers, C.: Object-oriented multi-methods in Cecil. In: Madsen, O.L. (ed.) ECOOP 1992. LNCS, vol.\u00a0615, pp. 33\u201356. Springer, Heidelberg (1992)"},{"key":"11_CR6","unstructured":"Chambers, C., Leavens, G.T.: Bececil, a core object-oriented language with block structure and multimethods: Semantics and typing. In: Proceedings of the 4th International Workshop on Foundations of Object Oriented Languages (1997)"},{"issue":"3","key":"11_CR7","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1145\/1133651.1133655","volume":"28","author":"C. Clifton","year":"2006","unstructured":"Clifton, C., Millstein, T., Leavens, G.T., Chambers, C.: MultiJava: Design rationale, compiler implementation, and applications. ACM TOPLAS\u00a028(3), 517\u2013575 (2006)","journal-title":"ACM TOPLAS"},{"key":"11_CR8","unstructured":"The COQ Development\u00a0Team. The COQ Proof Assistant, \n                    http:\/\/coq.inria.fr\/"},{"key":"11_CR9","unstructured":"De Fraine, B., Ernst, E., S\u00fcdholt, M.: Cast-Free Featherweight Java (2008), \n                    http:\/\/soft.vub.ac.be\/~bdefrain\/featherj"},{"key":"11_CR10","unstructured":"Kim, J.: MFFMM  in COQ (2012), \n                    http:\/\/plrg.kaist.ac.kr\/_media\/research\/software\/mffmm_in_coq.tar.gz"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Kim, J., Ryu, S.: COQ mechanization of Featherweight Fortress with multiple dispatch and multiple inheritance. In: Proceedings of the First International Conference on Certified Programs and Proofs (2011)","DOI":"10.1007\/978-3-642-25379-9_20"},{"key":"11_CR12","unstructured":"Kim, J., Ryu, S.: MFFMM : Modular Featherweight Fortress with Multiple Dispatch and Multiple Inheritance (June 2013), \n                    http:\/\/plrg.kaist.ac.kr\/_media\/research\/publications\/mffmm_calculus.pdf"},{"issue":"5","key":"11_CR13","doi-asserted-by":"publisher","first-page":"836","DOI":"10.1145\/1018203.1018207","volume":"26","author":"T. Millstein","year":"2004","unstructured":"Millstein, T., Bleckner, C., Chambers, C.: Modular typechecking for hierarchically extensible datatypes and functions. ACM TOPLAS\u00a026(5), 836\u2013889 (2004)","journal-title":"ACM TOPLAS"},{"issue":"1","key":"11_CR14","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1006\/inco.2002.3103","volume":"175","author":"T. Millstein","year":"2002","unstructured":"Millstein, T., Chambers, C.: Modular statically typed multimethods. Information and Computation\u00a0175(1), 76\u2013118 (2002)","journal-title":"Information and Computation"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Millstein, T.D., Reay, M., Chambers, C.: Relaxed MultiJava: balancing extensibility and modular typechecking. In: OOPSLA (2003)","DOI":"10.1145\/949305.949325"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL","author":"T. Nipkow","year":"2002","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.T.: Isabelle\/HOL. LNCS, vol.\u00a02283. Springer, Heidelberg (2002)"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Odersky, M., Wadler, P., Wehr, M.: A second look at overloading. In: FPCA, pp. 135\u2013146 (1995)","DOI":"10.1145\/224164.224195"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Oliveira, B.C.D.S., Moors, A., Odersky, M.: Type classes as objects and implicits. In: OOPSLA (2010)","DOI":"10.1145\/1869459.1869489"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/978-3-540-45070-2_12","volume-title":"ECOOP 2003 - Object-Oriented Programming","author":"N. Sch\u00e4rli","year":"2003","unstructured":"Sch\u00e4rli, N., Ducasse, S., Nierstrasz, O., Black, A.P.: Traits: Composable Units of Behaviour. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol.\u00a02743, pp. 248\u2013274. Springer, Heidelberg (2003)"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Strni\u0161a, R., Sewell, P., Parkinson, M.: The Java module system: Core design and semantic definition. In: OOPSLA (2007)","DOI":"10.1145\/1297027.1297064"},{"key":"11_CR21","volume-title":"The C++ Programming Language","author":"B. Stroustrup","year":"1986","unstructured":"Stroustrup, B.: The C++ Programming Language. Addison-Wesley, Reading (1986)"},{"key":"11_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/3-540-57840-4_33","volume-title":"Programming Languages and System Architectures","author":"C. Szypersky","year":"1994","unstructured":"Szypersky, C., Omohundro, S., Murer, S.: Engineering a programming language: The type and class system of Sather. In: Gutknecht, J. (ed.) Programming Languages and System Architectures. LNCS, vol.\u00a0782, pp. 208\u2013227. Springer, Heidelberg (1994)"},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"Wadler, P., Blott, S.: How to make ad-hoc polymorphism less ad hoc. In: POPL (1989)","DOI":"10.1145\/75277.75283"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-03542-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,14]],"date-time":"2023-02-14T04:15:55Z","timestamp":1676348155000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-03542-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319035413","9783319035420"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-03542-0_11","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-319-03542-0","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}