{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T05:01:44Z","timestamp":1743138104279,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319452784"},{"type":"electronic","value":"9783319452791"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-45279-1_1","type":"book-chapter","created":{"date-parts":[[2016,9,16]],"date-time":"2016-09-16T20:23:45Z","timestamp":1474057425000},"page":"1-15","source":"Crossref","is-referenced-by-count":0,"title":["Language Support for Generic Programming in\u00a0Object-Oriented Languages: Peculiarities, Drawbacks, Ways of Improvement"],"prefix":"10.1007","author":[{"given":"Julia","family":"Belyakova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,17]]},"reference":[{"issue":"2","key":"1_CR1","first-page":"63","volume":"2","author":"J Belyakova","year":"2015","unstructured":"Belyakova, J., Mikhalkovich, S.: A support for generic programming in the modern object-oriented languages. Part 1. Anal. Probl. 2(2), 63\u201377 (2015). Transactions of Scientific School of I.B. Simonenko (in Russian)","journal-title":"Anal. Probl."},{"issue":"2","key":"1_CR2","first-page":"78","volume":"2","author":"J Belyakova","year":"2015","unstructured":"Belyakova, J., Mikhalkovich, S.: A support for generic programming in the modern object-oriented languages. Part 2. Rev. Mod. Solutions 2(2), 78\u201392 (2015). Transactions of Scientific School of I.B. Simonenko (in Russian)","journal-title":"Rev. Mod. Solutions"},{"issue":"3","key":"1_CR3","doi-asserted-by":"crossref","first-page":"29","DOI":"10.15514\/ISPRAS-2015-27(3)-2","volume":"27","author":"J Belyakova","year":"2015","unstructured":"Belyakova, J., Mikhalkovich, S.: Pitfalls of C# generics and their solution using concepts. Proc. Inst. Syst. Program. 27(3), 29\u201345 (2015)","journal-title":"Proc. Inst. Syst. Program."},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Bernardy, J.P., Jansson, P., Zalewski, M., Schupp, S., Priesnitz, A.: A comparison of C++ concepts and haskell type classes. In: Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2008, New York, NY, USA, pp. 37\u201348. ACM (2008)","DOI":"10.1145\/1411318.1411324"},{"issue":"3","key":"1_CR5","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1002\/j.1096-9942.1995.tb00019.x","volume":"1","author":"K Bruce","year":"1995","unstructured":"Bruce, K., Cardelli, L., Castagna, G., Leavens, G.T., Pierce, B.: On binary methods. Theor. Pract. Object Syst. 1(3), 221\u2013242 (1995). http:\/\/dl.acm.org\/citation.cfm?id=230849.230854","journal-title":"Theor. Pract. Object Syst."},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Dos Reis, G., Stroustrup, B.: Specifying C++ concepts. In: Conference Record of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, New York, NY, USA, pp. 295\u2013308. ACM (2006)","DOI":"10.1145\/1111037.1111064"},{"issue":"2","key":"1_CR7","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1017\/S0956796806006198","volume":"17","author":"R Garcia","year":"2007","unstructured":"Garcia, R., Jarvi, J., Lumsdaine, A., Siek, J., Willcock, J.: An extended comparative study of language support for generic programming. J. Funct. Program. 17(2), 145\u2013205 (2007)","journal-title":"J. Funct. Program."},{"issue":"11","key":"1_CR8","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1145\/949343.949317","volume":"38","author":"R Garcia","year":"2003","unstructured":"Garcia, R., Jarvi, J., Lumsdaine, A., Siek, J.G., Willcock, J.: A comparative study of language support for generic programming. SIGPLAN Not. 38(11), 115\u2013134 (2003). http:\/\/doi.acm.org\/10.1145\/949343.949317","journal-title":"SIGPLAN Not."},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Greenman, B., Muehlboeck, F., Tate, R.: Getting F-bounded polymorphism into shape. In: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2014, New York, NY, USA, pp. 89\u201399. ACM (2014)","DOI":"10.1145\/2666356.2594308"},{"issue":"2","key":"1_CR10","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1145\/227699.227700","volume":"18","author":"CV Hall","year":"1996","unstructured":"Hall, C.V., Hammond, K., Peyton Jones, S.L., Wadler, P.L.: Type classes in haskell. ACM Trans. Program. Lang. Syst. 18(2), 109\u2013138 (1996). http:\/\/doi.acm.org\/10.1145\/227699.227700","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"J\u00e4rvi, J., Willcock, J., Lumsdaine, A.: Associated types and constraint propagation for mainstream object-oriented generics. In: Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, New York, NY, USA, pp. 1\u201319. ACM (2005)","DOI":"10.1145\/1094811.1094813"},{"issue":"2","key":"1_CR12","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1145\/357162.357169","volume":"4","author":"A Martelli","year":"1982","unstructured":"Martelli, A., Montanari, U.: An efficient unification algorithm. ACM Trans. Program. Lang. Syst. 4(2), 258\u2013282 (1982). http:\/\/doi.acm.org\/10.1145\/357162.357169","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/3-540-51084-2_2","volume-title":"Symbolic and Algebraic Computation","author":"DR Musser","year":"1989","unstructured":"Musser, D.R., Stepanov, A.A.: Generic programming. In: Gianni, P. (ed.) ISSAC 1988. LNCS, vol. 358, pp. 13\u201325. Springer, Heidelberg (1989). http:\/\/dl.acm.org\/citation.cfm?id=646361.690581"},{"issue":"3\u20134","key":"1_CR14","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1017\/S0956796810000171","volume":"20","author":"BC Oliveira","year":"2010","unstructured":"Oliveira, B.C., Gibbons, J.: Scala for generic programmers: comparing haskell and scala support for generic programming. J. Funct. Program. 20(3\u20134), 303\u2013352 (2010)","journal-title":"J. Funct. Program."},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Oliveira, B.C., Moors, A., Odersky, M.: Type classes as objects and implicits. In: Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 2010, New York, NY, USA, pp. 341\u2013360. ACM (2010)","DOI":"10.1145\/1869459.1869489"},{"issue":"4","key":"1_CR16","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1134\/S0361768815040064","volume":"41","author":"A Pelenitsyn","year":"2015","unstructured":"Pelenitsyn, A.: Associated types and constraint propagation for generic programming in scala. Program. Comput. Softw. 41(4), 224\u2013230 (2015)","journal-title":"Program. Comput. Softw."},{"issue":"5","key":"1_CR17","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1016\/j.scico.2008.09.009","volume":"76","author":"JG Siek","year":"2011","unstructured":"Siek, J.G., Lumsdaine, A.: A language for generic programming in the large. Sci. Comput. Program. 76(5), 423\u2013465 (2011). http:\/\/dx.doi.org\/10.1016\/j.scico.2008.09.009","journal-title":"Sci. Comput. Program."},{"key":"1_CR18","unstructured":"Stepanov, A.A., Lee, M.: The standard template library. Technical report 95\u201311(R.1), HP Laboratories, November 1995"},{"key":"1_CR19","unstructured":"Stroustrup, B.: Concept checking \u2013 a more abstract complement to type checking. Technical report N1510=03-0093, ISO\/IEC JTC1\/SC22\/WG21, C++ Standards Committee Papers, October 2003"},{"key":"1_CR20","unstructured":"Stroustrup, B., Dos Reis, G.: Concepts \u2013 design choices for template argument checking. Technical report N1522=03-0105, ISO\/IEC JTC1\/SC22\/WG21, C++ Standards Committee Papers, October 2003"},{"key":"1_CR21","unstructured":"Stroustrup, B., Sutton, A.: A concept design for the STL. Technical report N3351=12-0041, ISO\/IEC JTC1\/SC22\/WG21, C++ Standards Committee Papers, January 2012"},{"key":"1_CR22","unstructured":"Sutton, A.: C++ Extensions for Concepts PDTS. Technical Specification N4377, ISO\/IEC JTC1\/SC22\/WG21, C++ Standards Committee Papers, February 2015"},{"key":"1_CR23","unstructured":"Wadler, P., Blott, S.: How to make ad-hoc polymorphism less ad hoc. In: Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1989, New York, NY, USA, pp. 60\u201376. ACM (1989). http:\/\/doi.acm.org\/10.1145\/75277.75283"},{"issue":"4","key":"1_CR24","doi-asserted-by":"crossref","first-page":"12:1","DOI":"10.1145\/1985342.1985343","volume":"33","author":"S Wehr","year":"2011","unstructured":"Wehr, S., Thiemann, P.: JavaGI: the interaction of type classes with interfaces and inheritance. ACM Trans. Program. Lang. Syst. 33(4), 12:1\u201312:83 (2011). http:\/\/doi.acm.org\/10.1145\/1985342.1985343","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"1_CR25","unstructured":"Zhang, Y., Loring, M.C., Salvaneschi, G., Liskov, B., Myers, A.C.: Lightweight, flexible object-oriented generics. In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2015, New York, NY, USA, pp. 436\u2013445. ACM (2015). http:\/\/doi.acm.org\/10.1145\/2737924.2738008"}],"container-title":["Lecture Notes in Computer Science","Programming Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-45279-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,26]],"date-time":"2020-09-26T02:45:26Z","timestamp":1601088326000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45279-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319452784","9783319452791"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45279-1_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}