{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T02:09:02Z","timestamp":1725674942991},"publisher-location":"New York, NY, USA","reference-count":57,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,10,22]]},"DOI":"10.1145\/1173706.1173732","type":"proceedings-article","created":{"date-parts":[[2007,1,17]],"date-time":"2007-01-17T01:15:56Z","timestamp":1168996556000},"page":"161-170","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":22,"title":["Software extension and integration with type classes"],"prefix":"10.1145","author":[{"given":"Ralf","family":"L\u00e4mmel","sequence":"first","affiliation":[{"name":"Microsoft Corporation"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus","family":"Ostermann","sequence":"additional","affiliation":[{"name":"Darmstadt University of Technology, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,10,22]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.5555\/2168342.2168347"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1145\/1094811.1094826"},{"key":"e_1_3_2_1_3_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1007\/978-3-540-45213-3_17","volume-title":"Modular Programming Languages","author":"Bergel A.","year":"2003","unstructured":"A. Bergel , S. Ducasse , and R. Wuyts . Classboxes: A Minimal Module Model Supporting Local Rebinding . In L. B\u00f6sz\u00f6rm\u00e9nyi and P. Schojer, editors, Modular Programming Languages , Joint Modular Languages Conference, JMLC 2003 , volume 2789 of LNCS , pages 122 -- 131 . Springer , 2003.]] A. Bergel, S. Ducasse, and R. Wuyts. Classboxes: A Minimal Module Model Supporting Local Rebinding. In L. B\u00f6sz\u00f6rm\u00e9nyi and P. Schojer, editors, Modular Programming Languages, Joint Modular Languages Conference, JMLC 2003, volume 2789 of LNCS, pages 122--131. Springer, 2003.]]"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1145\/97945.97968"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.5555\/230849.230854"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1145\/1086365.1086397"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1145\/1040305.1040306"},{"key":"e_1_3_2_1_8_1","series-title":"LNCS","first-page":"33","volume-title":"ECOOP'92","author":"Chambers C.","year":"1992","unstructured":"C. Chambers . Object-oriented multi-methods in Cecil . In ECOOP'92 , volume 615 of LNCS , pages 33 -- 56 . Springer , 1992 .]] C. Chambers. Object-oriented multi-methods in Cecil. In ECOOP'92, volume 615 of LNCS, pages 33--56. Springer, 1992.]]"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1145\/141471.141536"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1145\/354222.353181"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1145\/1119479.1119483"},{"doi-asserted-by":"crossref","unstructured":"G.\n      Duck S. Peyton\n      Jones P.\n      Stuckey and \n      M.\n      Sulzmann\n  . \n  Sound and Decidable Type Inference for Functional Dependencies\n  . In D. Schmidt editor ESOP'04 volume \n  2986\n   of \n  LNCS pages \n  49\n  --\n  63\n  . \n  Springer 2004\n  .]]  G. Duck S. Peyton Jones P. Stuckey and M. Sulzmann. Sound and Decidable Type Inference for Functional Dependencies. In D. Schmidt editor ESOP'04 volume 2986 of LNCS pages 49--63. Springer 2004.]]","key":"e_1_3_2_1_12_1","DOI":"10.1007\/978-3-540-24725-8_5"},{"key":"e_1_3_2_1_13_1","series-title":"LNCS","first-page":"303","volume-title":"ECOOP'01","author":"Ernst E.","year":"2001","unstructured":"E. Ernst . Family Polymorphism . In ECOOP'01 , volume 2072 of LNCS , pages 303 -- 326 . Springer , 2001 .]] E. Ernst. Family Polymorphism. In ECOOP'01, volume 2072 of LNCS, pages 303--326. Springer, 2001.]]"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1007\/978-3-540-45070-2_14"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1145\/1111037.1111062"},{"key":"e_1_3_2_1_16_1","volume-title":"Design Patterns","author":"Gamma E.","year":"1995","unstructured":"E. Gamma , R. Helm , R. Johnson , and J. Vlissides . Design Patterns . Addison Wesley , 1995 .]] E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Addison Wesley, 1995.]]"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1145\/949305.949317"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1145\/227699.227700"},{"key":"e_1_3_2_1_19_1","volume-title":"Joint Winter Meeting of the Dep. of Science and Computer Eng., Chalmers Univ. of Technology and Goteborg Univ.","author":"Hallgren T.","year":"2001","unstructured":"T. Hallgren . Fun with functional dependencies . In Joint Winter Meeting of the Dep. of Science and Computer Eng., Chalmers Univ. of Technology and Goteborg Univ. , Varberg, Sweden , Jan. 2001 . http:\/\/www.cs.chalmers.se\/~hallgren\/Papers\/wm01.html.]] T. Hallgren. Fun with functional dependencies. In Joint Winter Meeting of the Dep. of Science and Computer Eng., Chalmers Univ. of Technology and Goteborg Univ., Varberg, Sweden, Jan. 2001. http:\/\/www.cs.chalmers.se\/~hallgren\/Papers\/wm01.html.]]"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1145\/167962.165932"},{"key":"e_1_3_2_1_22_1","volume-title":"Haskell Workshop","author":"Hughes J.","year":"1999","unstructured":"J. Hughes . Restricted data types in Haskell. In E. Meijer, editor , Haskell Workshop , 1999 .]] J. Hughes. Restricted data types in Haskell. In E. Meijer, editor, Haskell Workshop, 1999.]]"},{"key":"e_1_3_2_1_23_1","series-title":"LNCS","first-page":"36","volume-title":"ECOOP'93","author":"H\u00f6lzle U.","year":"1993","unstructured":"U. H\u00f6lzle . Integrating independently-developed components in object-oriented languages . In ECOOP'93 , volume 707 of LNCS , pages 36 -- 56 . Springer , 1993 .]] U. H\u00f6lzle. Integrating independently-developed components in object-oriented languages. In ECOOP'93, volume 707 of LNCS, pages 36--56. Springer, 1993.]]"},{"doi-asserted-by":"crossref","unstructured":"M.\n      Jones\n    .\n  A theory of qualified types\n  . In B. Krieg-Br\u00fcckner editor ESOP'92 volume \n  582\n   of \n  LNCS pages \n  287\n  --\n  306\n  . \n  Springer 1992\n  .]]   M. Jones. A theory of qualified types. In B. Krieg-Br\u00fcckner editor ESOP'92 volume 582 of LNCS pages 287--306. Springer 1992.]]","key":"e_1_3_2_1_24_1","DOI":"10.1007\/3-540-55253-7_17"},{"key":"e_1_3_2_1_25_1","first-page":"230","volume-title":"Type Classes with Functional Dependencies. In ESOP'00","author":"Jones M.","year":"2000","unstructured":"M. Jones . Type Classes with Functional Dependencies. In ESOP'00 , pages 230 -- 244 . Springer , 2000 .]] M. Jones. Type Classes with Functional Dependencies. In ESOP'00, pages 230--244. Springer, 2000.]]"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.1145\/165180.165190"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_27_1","DOI":"10.5555\/645387.651547"},{"key":"e_1_3_2_1_28_1","series-title":"LNCS","first-page":"327","volume-title":"ECOOP'01","author":"Kiczales G.","year":"2001","unstructured":"G. Kiczales , E. Hilsdale , J. Hugunin , M. Kersten , J. Palm , and W. G. Griswold . An Overview of AspectJ . In ECOOP'01 , volume 2072 of LNCS , pages 327 -- 353 . Springer , 2001 .]] G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An Overview of AspectJ. In ECOOP'01, volume 2072 of LNCS, pages 327--353. Springer, 2001.]]"},{"key":"e_1_3_2_1_29_1","series-title":"LNCS","first-page":"220","volume-title":"ECOOP'97","author":"Kiczales G.","year":"1997","unstructured":"G. Kiczales , J. Lamping , A. Mendhekar , C. Maeda , C. Lopes , J.-M. Loingtier , and J. Irwin . Aspect-oriented programming . In ECOOP'97 , volume 1241 of LNCS , pages 220 -- 242 . Springer , 1997 .]] G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In ECOOP'97, volume 1241 of LNCS, pages 220--242. Springer, 1997.]]"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_30_1","DOI":"10.1145\/1017472.1017481"},{"unstructured":"O. Kiselyov and R. L\u00e4mmel. Haskell's overlooked object system. Draft; submitted for journal publication; available online at http:\/\/www.cwi.nl\/~ralf\/OOHaskell\/ 2005.]]  O. Kiselyov and R. L\u00e4mmel. Haskell's overlooked object system. Draft; submitted for journal publication; available online at http:\/\/www.cwi.nl\/~ralf\/OOHaskell\/ 2005.]]","key":"e_1_3_2_1_31_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_32_1","DOI":"10.1145\/1017472.1017488"},{"key":"e_1_3_2_1_33_1","volume-title":"Re: Extensible grammars","author":"L\u00e4mmel R.","year":"2004","unstructured":"R. L\u00e4mmel . Re: Extensible grammars , 2004 . Post to comp.compilers; http:\/\/compilers.iecc.com\/comparch\/article\/04-12-111; Follow-up on haskell.org; http:\/\/www.haskell.org\/pipermail\/haskell\/2005-February\/015346.html.]] R. L\u00e4mmel. Re: Extensible grammars, 2004. Post to comp.compilers; http:\/\/compilers.iecc.com\/comparch\/article\/04-12-111; Follow-up on haskell.org; http:\/\/www.haskell.org\/pipermail\/haskell\/2005-February\/015346.html.]]"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_34_1","DOI":"10.1145\/186025.186031"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_35_1","DOI":"10.1145\/1140335.1140352"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_36_1","DOI":"10.1007\/11531142_8"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_37_1","DOI":"10.1145\/317665.317679"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_38_1","DOI":"10.1017\/S0956796802004355"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_39_1","DOI":"10.1145\/286936.286950"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_40_1","DOI":"10.1145\/582419.582426"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_41_1","DOI":"10.1145\/643603.643613"},{"key":"e_1_3_2_1_42_1","volume-title":"Software Architectures and Component Technology: The State of the Art in Research and Practice","author":"Mezini M.","year":"2001","unstructured":"M. Mezini , L. Seiter , and K. Lieberherr . Component integration with pluggable composite adapters . In M. Aksit, editor, Software Architectures and Component Technology: The State of the Art in Research and Practice . Kluwer , 2001 .]] M. Mezini, L. Seiter, and K. Lieberherr. Component integration with pluggable composite adapters. In M. Aksit, editor, Software Architectures and Component Technology: The State of the Art in Research and Practice. Kluwer, 2001.]]"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_43_1","DOI":"10.1002\/spe.460"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_44_1","DOI":"10.1145\/581478.581489"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_46_1","DOI":"10.1145\/1094811.1094815"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_47_1","DOI":"10.1145\/141936.141940"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_48_1","DOI":"10.1145\/361598.361623"},{"key":"e_1_3_2_1_49_1","volume-title":"Purely Functional Language. Available from http:\/\/haskell.org","author":"Peyton-Jones S.","year":"1999","unstructured":"S. Peyton-Jones . Report on the Programming Language Haskell 98, a Non-strict , Purely Functional Language. Available from http:\/\/haskell.org , 1999 .]] S. Peyton-Jones. Report on the Programming Language Haskell 98, a Non-strict, Purely Functional Language. Available from http:\/\/haskell.org, 1999.]]"},{"key":"e_1_3_2_1_50_1","volume-title":"Haskell Workshop","author":"Peyton-Jones S.","year":"1997","unstructured":"S. Peyton-Jones , M. Jones , and E. Meijer . Type classes: exploring the design space. In J. Launchbury, editor , Haskell Workshop , 1997 .]] S. Peyton-Jones, M. Jones, and E. Meijer. Type classes: exploring the design space. In J. Launchbury, editor, Haskell Workshop, 1997.]]"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_51_1","DOI":"10.1145\/1065010.1065021"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_52_1","DOI":"10.1007\/11561347_27"},{"key":"e_1_3_2_1_53_1","series-title":"LNCS","first-page":"550","volume-title":"ECOOP'98","author":"Smaragdakis Y.","year":"1998","unstructured":"Y. Smaragdakis and D. Batory . Implementing layered designs with mixin-layers . In ECOOP'98 , volume 1445 of LNCS , pages 550 -- 570 . Springer , 1998 .]] Y. Smaragdakis and D. Batory. Implementing layered designs with mixin-layers. In ECOOP'98, volume 1445 of LNCS, pages 550--570. Springer, 1998.]]"},{"key":"e_1_3_2_1_54_1","volume-title":"Proceedings 19th Australian Computer Science Conference. Australian Computer Science Communications","author":"Szyperski C.","year":"1996","unstructured":"C. Szyperski . Independently extensible systems -- software engineering potential and challenges . In Proceedings 19th Australian Computer Science Conference. Australian Computer Science Communications , 1996 .]] C. Szyperski. Independently extensible systems -- software engineering potential and challenges. In Proceedings 19th Australian Computer Science Conference. Australian Computer Science Communications, 1996.]]"},{"key":"e_1_3_2_1_55_1","volume-title":"Component Software -- Beyond Object-Oriented Programming","author":"Szyperski C.","year":"1998","unstructured":"C. Szyperski . Component Software -- Beyond Object-Oriented Programming . Addison-Wesley , 1998 .]] C. Szyperski. Component Software -- Beyond Object-Oriented Programming. Addison-Wesley, 1998.]]"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_56_1","DOI":"10.1145\/302405.302457"},{"key":"e_1_3_2_1_57_1","series-title":"LNCS","first-page":"123","volume-title":"ESOP'04","author":"Torgersen M.","year":"2004","unstructured":"M. Torgersen . The Expression Problem Revisited . In ESOP'04 , volume 3086 of LNCS , pages 123 -- 143 . Springer , 2004 .]] M. Torgersen. The Expression Problem Revisited. In ESOP'04, volume 3086 of LNCS, pages 123--143. Springer, 2004.]]"},{"key":"e_1_3_2_1_58_1","volume-title":"November","author":"Wadler P.","year":"1998","unstructured":"P. Wadler . The expression problem. Message to java-genericity electronic mailing list , November 1998 . Available online at http:\/\/www.daimi.au.dk\/~madst\/tool\/papers\/expression.txt.]] P. Wadler. The expression problem. Message to java-genericity electronic mailing list, November 1998. Available online at http:\/\/www.daimi.au.dk\/~madst\/tool\/papers\/expression.txt.]]"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_59_1","DOI":"10.1145\/75277.75283"}],"event":{"sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"acronym":"GPCE06","name":"GPCE06: Generative Programming and Component Engineering 2006","location":"Portland Oregon USA"},"container-title":["Proceedings of the 5th international conference on Generative programming and component engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1173706.1173732","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,9]],"date-time":"2023-01-09T01:59:19Z","timestamp":1673229559000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1173706.1173732"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,10,22]]},"references-count":57,"alternative-id":["10.1145\/1173706.1173732","10.1145\/1173706"],"URL":"https:\/\/doi.org\/10.1145\/1173706.1173732","relation":{},"subject":[],"published":{"date-parts":[[2006,10,22]]},"assertion":[{"value":"2006-10-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}