{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:34:09Z","timestamp":1725471249453},"publisher-location":"Berlin, Heidelberg","reference-count":41,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540357261"},{"type":"electronic","value":"9783540357278"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11785477_21","type":"book-chapter","created":{"date-parts":[[2006,9,25]],"date-time":"2006-09-25T05:04:52Z","timestamp":1159160692000},"page":"353-378","source":"Crossref","is-referenced-by-count":4,"title":["Parameterized Modules for Classes and Extensible Functions"],"prefix":"10.1007","author":[{"given":"Keunwoo","family":"Lee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Craig","family":"Chambers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45337-7_19","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"D. Ancona","year":"2001","unstructured":"Ancona, D., Zucca, E.: True Modules for Java-like Languages. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, Springer, Heidelberg (2001)"},{"key":"21_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/11687061_5","volume-title":"Transactions on Aspect-Oriented Software Development I","author":"I. Aracic","year":"2006","unstructured":"Aracic, I., Gasiunas, V., Mezini, M., Ostermann, K.: An Overview of CaesarJ. In: Rashid, A., Aksit, M. (eds.) Transactions on Aspect-Oriented Software Development I. LNCS, vol.\u00a03880, pp. 135\u2013173. Springer, Heidelberg (2006)"},{"key":"21_CR3","unstructured":"Bonniot, D.: Type-checking multi-methods in ML (A modular approach). In: FOOL 9 (2002)"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Bourdoncle, F., Merz, S.: Type checking higher-order polymorphic multi-methods. In: 24th POPL (1997)","DOI":"10.1145\/263699.263743"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Bracha, G., Cook, W.: Mixin-based Inheritance. In: OOPSLA (1990)","DOI":"10.1145\/97945.97982"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Bracha, G., Odersky, M., Stoutamire, D., Wadler, P.: Making the Future Safe for the Past: Adding Genericity to the Java Programming Language. In: OOPSLA (1998)","DOI":"10.1145\/286936.286957"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Bruce, K.B., Odersky, M., Wadler, P.: A Statically safe alternative to virtual types. In: 12th ECOOP (1998)","DOI":"10.1007\/BFb0054106"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Chambers, C.: Object-Oriented Multi-Methods in Cecil. In: 6th ECOOP (1992)","DOI":"10.1007\/BFb0053029"},{"key":"21_CR9","unstructured":"Chambers, C.: Cecil Group. The Cecil Language: Specification and Rationale. Univ. of Washington Technical Report UW-CSE-93-03-05, 1993-2004"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Clifton, C., Leavens, G.T., Chambers, C., Millstein, T.: MultiJava: Modular Open Classes and Symmetric Multiple Dispatch for Java. In: OOPSLA (2000)","DOI":"10.1145\/353171.353181"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Dreyer, D., Crary, K., Harper, R.: A Type System for Higher-Order Modules. In: 30th POPL (2003)","DOI":"10.1145\/604131.604151"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Duggan, D., Sourelis, C.: Mixin modules. In: First ICFP, Philadelphia PA (1996)","DOI":"10.1145\/232627.232654"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Ernst, E.: Family Polymorphism. In: 15th ECOOP (June 2001)","DOI":"10.1007\/3-540-45337-7_17"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Ernst, E., Ostermann, K., Cook, W.R.: A Virtual Class Calculus. In: POPL (2006)","DOI":"10.1145\/1111037.1111062"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Fisher, K., Reppy, J.: The design of a class mechanism for Moby. In: PLDI (June 1999)","DOI":"10.1145\/301618.301638"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Flatt, M., Felleisen, M.: Units: Cool modules for HOT languages. In: PLDI (1998)","DOI":"10.1145\/277650.277730"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"Flatt, M., Krishnamurthi, S., Felleisen, M.: Classes and Mixins. In: 25th POPL (1998)","DOI":"10.1145\/268946.268961"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"Harper, R., Lillibridge, M.: A Type-theoretic approach to higher-order modules with sharing. In: POPL (1994)","DOI":"10.1145\/174675.176927"},{"key":"21_CR19","unstructured":"Harper, R., Stone, C.: A Type-theoretic interpretation of Standard ML. Carnegie Mellon Dept. of CS Technical Report CMU-CS-97-147 (1997)"},{"key":"21_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/3-540-45927-8_2","volume-title":"Programming Languages and Systems","author":"T. Hirschowitz","year":"2002","unstructured":"Hirschowitz, T., Leroy, X.: Mixin Modules in a Call-by-Value Setting. In: Le M\u00e9tayer, D. (ed.) ESOP 2002 and ETAPS 2002. LNCS, vol.\u00a02305, pp. 6\u201320. Springer, Heidelberg (2002)"},{"key":"21_CR21","doi-asserted-by":"crossref","unstructured":"Kiczales, G., Lamping, J., Menhdhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., Irwin, J.: Aspect-Oriented Programming. In: 11th ECOOP (1997)","DOI":"10.1007\/BFb0053381"},{"key":"21_CR22","unstructured":"Lee, K., Chambers, C.: Parameterized modules for extensible classes and functions. Univ. of Washington Technical Report UW-CSE-2005-07-01, 2006 (forthcoming)"},{"key":"21_CR23","doi-asserted-by":"crossref","unstructured":"Leroy, X.: Manifest types, modules, and separate compilation. In: 21st POPL (1994)","DOI":"10.1145\/174675.176926"},{"key":"21_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11531142_8","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"R.E. Lopez-Herrejon","year":"2005","unstructured":"Lopez-Herrejon, R.E., Batory, D., Cook, W.: Evaluating Support for Features in Advanced Modularization Technologies. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol.\u00a03586, pp. 169\u2013194. Springer, Heidelberg (2005)"},{"key":"21_CR25","doi-asserted-by":"crossref","unstructured":"Madsen, O.L., M\u00f8ller-Pedersen, B.: Virtual classes: a powerful mechanism in object-oriented programming. In: Conf. OOPSLA (1989)","DOI":"10.1145\/74877.74919"},{"key":"21_CR26","doi-asserted-by":"crossref","unstructured":"McDirmid, S., Flatt, M., Hsieh, W.C.: Jiazzi: New age modules for old-fashioned Java. In: 16th OOPSLA, Tampa Bay FL, pp. 211\u2013222 (2001)","DOI":"10.1145\/504311.504298"},{"key":"21_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48743-3_13","volume-title":"ECOOP \u201999 - Object-Oriented Programming","author":"T. Millstein","year":"1999","unstructured":"Millstein, T., Chambers, C.: Modular Statically Typed Multimethods. In: Guerraoui, R. (ed.) ECOOP 1999. LNCS, vol.\u00a01628, Springer, Heidelberg (1999)"},{"issue":"5","key":"21_CR28","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"},{"key":"21_CR29","doi-asserted-by":"crossref","unstructured":"Millstein, T., Reay, M., Chambers, C.: Relaxed MultiJava: Balancing Extensibility and Modular Typechecking. In: OOPSLA (October 2003)","DOI":"10.1145\/949305.949325"},{"key":"21_CR30","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2319.001.0001","volume-title":"Def. of Standard ML (Revised)","author":"R. Milner","year":"1997","unstructured":"Milner, R., Tofte, M., Harper, R., MacQueen, D.: Def. of Standard ML (Revised). MIT Press, Cambridge (1997)"},{"key":"21_CR31","doi-asserted-by":"crossref","unstructured":"Nystrom, N., Chong, S.S., Myers, A.C.: Scalable Extensibility via Nested Inheritance. In: OOPSLA (2004)","DOI":"10.1145\/1028976.1028986"},{"key":"21_CR32","unstructured":"Odersky, M., Altherr, P., Cremet, V., Emir, B., Maneth, S., Micheloud, S., Mihaylov, N., Schinz, M., Stenman, E., Zenger, M.: An Overview of the Scala Programming Language. EPFL Technical Report IC\/2004\/64. EPFL Lausanne (2004)"},{"key":"21_CR33","doi-asserted-by":"crossref","unstructured":"R\u00e9my, D., Vouillon, J.: Objective ML: a simple object-oriented extension of ML. In: 24th POPL (1997)","DOI":"10.1145\/263699.263707"},{"key":"21_CR34","doi-asserted-by":"crossref","unstructured":"Reppy, J., Riecke, J.: Simple objects for Standard ML. In: PLDI 1996 (1996)","DOI":"10.1145\/231379.231412"},{"key":"21_CR35","volume-title":"Programming Methodology, A Collection of Articles by IFIP WG2.3","author":"J.C. Reynolds","year":"1978","unstructured":"Reynolds, J.C.: User defined types and procedural data structures as complementary approaches to data abstraction. In: Gries, D. (ed.) Programming Methodology, A Collection of Articles by IFIP WG2.3, Springer, Heidelberg (1978)"},{"key":"21_CR36","series-title":"Lecture Notes in Computer Science","volume-title":"ECOOP 2003 - Object-Oriented Programming","author":"N. Sch\u00e4rli","year":"2003","unstructured":"Sch\u00e4rli, N., Ducasse, S., Nierstrasz, O., Black, A.: Traits: Composable Units of Behavior. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol.\u00a02743, Springer, Heidelberg (2003)"},{"issue":"2","key":"21_CR37","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1145\/505145.505148","volume":"11","author":"Y. Smaragdakis","year":"2002","unstructured":"Smaragdakis, Y., Batory, D.: Mixin Layers: An Object-Oriented Implementation Technique for Refinements and Collaboration Designs. ACM TSEM\u00a011(2), 215\u2013255 (2002)","journal-title":"ACM TSEM"},{"key":"21_CR38","doi-asserted-by":"crossref","unstructured":"Smith, C., Drossopoulou, S.: Chai: Traits for Java-like Languages. In: ECOOP (2005)","DOI":"10.1007\/11531142_20"},{"key":"21_CR39","volume-title":"The C++ Programming Language","author":"B. Stroustrup","year":"2000","unstructured":"Stroustrup, B.: The C++ Programming Language, 3rd edn. Addison-Wesley, Reading (2000)","edition":"3"},{"key":"21_CR40","unstructured":"Thorup, K.K., Torgersen, M.: Unifying genericity \u2013 combining the benefits of virtual types and parameterized classes. In: 13th ECOOP (1999)"},{"key":"21_CR41","unstructured":"Wadler, P.: The Expression Problem. Java-genericity email list (November 1998)"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2006 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11785477_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:09:28Z","timestamp":1605625768000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11785477_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540357261","9783540357278"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/11785477_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}