{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T18:35:23Z","timestamp":1730313323223,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,10,12]]},"DOI":"10.1145\/1094811.1094813","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T17:34:39Z","timestamp":1131384879000},"page":"1-19","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["Associated types and constraint propagation for mainstream object-oriented generics"],"prefix":"10.1145","author":[{"given":"Jaakko","family":"J\u00e4rvi","sequence":"first","affiliation":[{"name":"Texas A&M University, College Station, TX"}]},{"given":"Jeremiah","family":"Willcock","sequence":"additional","affiliation":[{"name":"Indiana University, Bloomington, IN"}]},{"given":"Andrew","family":"Lumsdaine","sequence":"additional","affiliation":[{"name":"Indiana University, Bloomington, IN"}]}],"member":"320","published-online":{"date-parts":[[2005,10,12]]},"reference":[{"key":"e_1_3_2_1_2_1","volume":"20","author":"Stepanov A.","year":"1995","unstructured":"Stepanov , A. : The Standard Template Library --- how do you build an algorithm that is both generic and efficient? Byte Magazine 20 ( 1995 )]] Stepanov, A.: The Standard Template Library --- how do you build an algorithm that is both generic and efficient? Byte Magazine 20 (1995)]]","journal-title":"Byte Magazine"},{"key":"e_1_3_2_1_3_1","series-title":"Lecture Notes in Computer Science","volume-title":"Rauchwerger","author":"An P.","year":"2001","unstructured":"An , P. , Jula , A. , Rus , S. , Saunders , S. , Smith , T. , Tanase , G. , Thomas , N. , Amato , N. , Rauchwerger , L. : STAPL: An adaptive, generic parallel C++ library. In : Languages and Compilers for Parallel Computing. Volume 2624 of Lecture Notes in Computer Science . Springer ( 2001 ) 193--208]] An, P., Jula, A., Rus, S., Saunders, S., Smith, T., Tanase, G., Thomas, N., Amato, N., Rauchwerger, L.: STAPL: An adaptive, generic parallel C++ library. In: Languages and Compilers for Parallel Computing. Volume 2624 of Lecture Notes in Computer Science. Springer (2001) 193--208]]"},{"key":"e_1_3_2_1_4_1","volume-title":"Lumsdaine","author":"Siek J.","year":"2002","unstructured":"Siek , J. , Lee , L.Q. , Lumsdaine , A. : The Boost Graph Library: User Guide and Reference Manual. Addison-Wesley ( 2002 )]] Siek, J., Lee, L.Q., Lumsdaine, A.: The Boost Graph Library: User Guide and Reference Manual. Addison-Wesley (2002)]]"},{"key":"e_1_3_2_1_5_1","volume-title":"A.: A modern framework for portable high performance numerical linear algebra. In: Modern Software Tools for Scientific Computing","author":"Siek J.","year":"1999","unstructured":"Siek , J. , Lumsdaine , A.: A modern framework for portable high performance numerical linear algebra. In: Modern Software Tools for Scientific Computing . Birkh\u00e4user ( 1999 )]] Siek, J., Lumsdaine, A.: A modern framework for portable high performance numerical linear algebra. In: Modern Software Tools for Scientific Computing. Birkh\u00e4user (1999)]]"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/17.8.729"},{"key":"e_1_3_2_1_7_1","unstructured":"Microsoft Corporation: C# Version 2.0 Specification March 2005 Draft. (2005) http:\/\/msdn.microsoft.com\/vcsharp\/programming\/language.]] Microsoft Corporation: C# Version 2.0 Specification March 2005 Draft. (2005) http:\/\/msdn.microsoft.com\/vcsharp\/programming\/language.]]"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/949305.949317"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/74877.74919"},{"key":"e_1_3_2_1_10_1","series-title":"Lecture Notes in Computer Science","volume-title":"ECOOP '97.","author":"Thorup K.K.","year":"1997","unstructured":"Thorup , K.K. : Genericity in Java with virtual types . In: ECOOP '97. Volume 1241 of Lecture Notes in Computer Science . ( 1997 ) 444--471]] Thorup, K.K.: Genericity in Java with virtual types. In: ECOOP '97. Volume 1241 of Lecture Notes in Computer Science. (1997) 444--471]]"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99392"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.v16:7"},{"key":"e_1_3_2_1_14_1","volume-title":"Stepanov","author":"Jazayeri M.","year":"1998","unstructured":"Jazayeri , M. , Loos , R. , Musser , D. , Stepanov , A. : Generic Programming. In : Report of the Dagstuhl Seminar on Generic Programming, Schloss Dagstuhl, Germany ( 1998 )]] Jazayeri, M., Loos, R., Musser, D., Stepanov, A.: Generic Programming. In: Report of the Dagstuhl Seminar on Generic Programming, Schloss Dagstuhl, Germany (1998)]]"},{"key":"e_1_3_2_1_16_1","series-title":"Professional computing series","volume-title":": Generic Programming and the STL","author":"Austern M.H.","year":"1999","unstructured":"Austern , M.H. : Generic Programming and the STL . Professional computing series . Addison-Wesley ( 1999 )]] Austern, M.H.: Generic Programming and the STL. Professional computing series. Addison-Wesley (1999)]]"},{"key":"e_1_3_2_1_17_1","unstructured":"Silicon Graphics Inc.: SGI Implementation of the Standard Template Library. (2004) http:\/\/www.sgi.com\/tech\/stl\/.]] Silicon Graphics Inc.: SGI Implementation of the Standard Template Library. (2004) http:\/\/www.sgi.com\/tech\/stl\/.]]"},{"key":"e_1_3_2_1_18_1","volume-title":"ISO\/IEC 14882: 1998: Programming languages --- C++","author":"International Organization for Standardization","year":"1998","unstructured":"International Organization for Standardization : ISO\/IEC 14882: 1998: Programming languages --- C++ , Geneva, Switzerland ( 1998 )]] International Organization for Standardization: ISO\/IEC 14882:1998: Programming languages --- C++, Geneva, Switzerland (1998)]]"},{"key":"e_1_3_2_1_19_1","series-title":"Lecture Notes in Computer Science","volume-title":"Petersen","author":"Bruce K.B.","year":"1997","unstructured":"Bruce , K.B. , Fiech , A. , Petersen , L. : Subtyping is not a good \"match\" for object-oriented languages. In : ECOOP '97. Volume 1241 of Lecture Notes in Computer Science ., Springer-Verlag ( 1997 ) 104--127]] Bruce, K.B., Fiech, A., Petersen, L.: Subtyping is not a good \"match\" for object-oriented languages. In: ECOOP '97. Volume 1241 of Lecture Notes in Computer Science., Springer-Verlag (1997) 104--127]]"},{"key":"e_1_3_2_1_20_1","series-title":"Lecture Notes in Computer Science","volume-title":"Torgersen","author":"Thorup K.K.","year":"1999","unstructured":"Thorup , K.K. , Torgersen , M. : Unifying genericity --- combining the benefits of virtual types and parameterized classes. In : ECOOP '99. Volume 1628 of Lecture Notes in Computer Science ., Springer-Verlag ( 1999 ) 186--204]] Thorup, K.K., Torgersen, M.: Unifying genericity --- combining the benefits of virtual types and parameterized classes. In: ECOOP '99. Volume 1628 of Lecture Notes in Computer Science., Springer-Verlag (1999) 186--204]]"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028976.1028986"},{"key":"e_1_3_2_1_22_1","unstructured":"Torgersen M.: Virtual types are statically safe. In: FOOL 5: Workshop on Foundations of Object-Oriented Languages. (1998) http:\/\/pauillac.inria.fr\/~remy\/fool\/.]] Torgersen M.: Virtual types are statically safe. In: FOOL 5: Workshop on Foundations of Object-Oriented Languages. (1998) http:\/\/pauillac.inria.fr\/~remy\/fool\/.]]"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/230849.230854"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/646155.679691"},{"key":"e_1_3_2_1_25_1","volume-title":"Vanderwaart","author":"Bruce K.B.","year":"2000","unstructured":"Bruce , K.B. , Vanderwaart , J.C. : Semantics-driven language design: Statically type-safe virtual types in object-oriented languages. In : Mathematical Foundations of Programming Semantics. Volume 20 of Electronic Notes in Theoretical Computer Science . ( 2000 )]] Bruce, K.B., Vanderwaart, J.C.: Semantics-driven language design: Statically type-safe virtual types in object-oriented languages. In: Mathematical Foundations of Programming Semantics. Volume 20 of Electronic Notes in Theoretical Computer Science. (2000)]]"},{"key":"e_1_3_2_1_26_1","series-title":"Lecture Notes in Computer Science","volume-title":"ECOOP '01.","author":"Ernst E.","year":"2001","unstructured":"Ernst , E. : Family polymorphism . In: ECOOP '01. Volume 2072 of Lecture Notes in Computer Science ., Springer ( 2001 ) 303--326]] Ernst, E.: Family polymorphism. In: ECOOP '01. Volume 2072 of Lecture Notes in Computer Science., Springer (2001) 303--326]]"},{"key":"e_1_3_2_1_27_1","series-title":"Lecture Notes in Computer Science","volume-title":"M.: A nominal theory of objects with dependent types. In: ECOOP '03.","author":"Odersky M.","year":"2003","unstructured":"Odersky , M. , Cremet , V. , R\u00f6ckl , C. , Zenger , M.: A nominal theory of objects with dependent types. In: ECOOP '03. Volume 2743 of Lecture Notes in Computer Science ., Springer-Verlag ( 2003 ) 201--224]] Odersky, M., Cremet, V., R\u00f6ckl, C., Zenger, M.: A nominal theory of objects with dependent types. In: ECOOP '03. Volume 2743 of Lecture Notes in Computer Science., Springer-Verlag (2003) 201--224]]"},{"key":"e_1_3_2_1_28_1","unstructured":"Odersky M. Altherr P. Cremet V. Emir B. etal: The Scala Language Specification. Programming Methods Laboratory EPFL. Version 1.0 edn. (2005) http:\/\/scala.epfl.ch\/docu\/files\/ScalaReference.pdf.]] Odersky M. Altherr P. Cremet V. Emir B. et al.: The Scala Language Specification. Programming Methods Laboratory EPFL. Version 1.0 edn. (2005) http:\/\/scala.epfl.ch\/docu\/files\/ScalaReference.pdf.]]"},{"key":"e_1_3_2_1_29_1","volume-title":"Zenger","author":"Odersky M.","year":"2001","unstructured":"Odersky , M. , Zenger , C. : Nested types. In : FOOL 8: Workshop on Foundations of Object-Oriented Languages . ( 2001 )]] Odersky, M., Zenger, C.: Nested types. In: FOOL 8: Workshop on Foundations of Object-Oriented Languages. (2001)]]"},{"key":"e_1_3_2_1_30_1","first-page":"32","volume":"7","author":"Myers N.","year":"1995","unstructured":"Myers , N. : A new and useful technique: \"traits\". C++ Report 7 ( 1995 ) 32 -- 35 ]] Myers, N.: A new and useful technique: \"traits\". C++ Report 7 (1995) 32--35]]","journal-title":"Report"},{"key":"e_1_3_2_1_31_1","volume-title":"Harper","author":"Milner R.","year":"1990","unstructured":"Milner , R. , Tofte , M. , Harper , R. : The Definition of Standard ML. MIT Press ( 1990 )]] Milner, R., Tofte, M., Harper, R.: The Definition of Standard ML. MIT Press (1990)]]"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/645394.651909"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040306"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086397"},{"key":"e_1_3_2_1_35_1","volume-title":"Version 3.1","author":"Chambers C.","year":"2002","unstructured":"Chambers , C. , the Cecil Group: The Cecil Language: Specification and Rationale , Version 3.1 . University of Washington , Computer Science and Engineering. ( 2002 ) http:\/\/www.cs.washington.edu\/research\/projects\/cecil\/.]] Chambers, C., the Cecil Group: The Cecil Language: Specification and Rationale, Version 3.1. University of Washington, Computer Science and Engineering. (2002) http:\/\/www.cs.washington.edu\/research\/projects\/cecil\/.]]"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/967900.968162"},{"volume-title":"FOOL 12: Workshop on Foundations of Object-Oriented Languages. (2005)","author":"Torgersen M.","key":"e_1_3_2_1_37_1","unstructured":"Torgersen , M. , Ernst , E. , Hansen , C.P. : Wild FJ . In: FOOL 12: Workshop on Foundations of Object-Oriented Languages. (2005) ]] Torgersen, M., Ernst, E., Hansen, C.P.: Wild FJ. In: FOOL 12: Workshop on Foundations of Object-Oriented Languages. (2005)]]"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75283"},{"volume-title":"]]","year":"2005","key":"e_1_3_2_1_39_1","unstructured":"http:\/\/research.cs.tamu.edu\/jarvi\/csharp ( 2005 ) ]] http:\/\/research.cs.tamu.edu\/jarvi\/csharp (2005)]]"}],"event":{"name":"OOPSLA05: ACM SIGPLAN Object Oriented Programming Systems and Applications Conference","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"San Diego CA USA","acronym":"OOPSLA05"},"container-title":["Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1094811.1094813","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T14:47:32Z","timestamp":1693838852000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1094811.1094813"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,10,12]]},"references-count":37,"alternative-id":["10.1145\/1094811.1094813","10.1145\/1094811"],"URL":"https:\/\/doi.org\/10.1145\/1094811.1094813","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1103845.1094813","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,10,12]]},"assertion":[{"value":"2005-10-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}