{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:22:54Z","timestamp":1725549774047},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291381"},{"type":"electronic","value":"9783540319771"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11561347_27","type":"book-chapter","created":{"date-parts":[[2005,10,3]],"date-time":"2005-10-03T08:41:30Z","timestamp":1128328890000},"page":"405-421","source":"Crossref","is-referenced-by-count":10,"title":["Language Requirements for Large-Scale Generic Libraries"],"prefix":"10.1007","author":[{"given":"Jeremy","family":"Siek","sequence":"first","affiliation":[]},{"given":"Andrew","family":"Lumsdaine","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","volume-title":"Proc. of the Conference on Functional Programming Languages and Computer Architecture","author":"D. Kapur","year":"1981","unstructured":"Kapur, D., Musser, D.R., Stepanov, A.: Operators and algebraic structures. In: Proc. of the Conference on Functional Programming Languages and Computer Architecture. ACM Press, Portsmouth (1981)"},{"key":"27_CR2","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":"D.R. Musser","year":"1989","unstructured":"Musser, D.R., Stepanov, A.A.: Generic programming. In: Gianni, P. (ed.) ISSAC 1988. LNCS, vol.\u00a0358, pp. 13\u201325. Springer, Heidelberg (1989)"},{"key":"27_CR3","first-page":"216","volume-title":"Using Ada (1987 International Ada Conference)","author":"D.R. Musser","year":"1987","unstructured":"Musser, D.R., Stepanov, A.A.: A library of generic algorithms in Ada. In: Using Ada (1987 International Ada Conference), pp. 216\u2013225. ACM SIGAda, New York (1987)"},{"key":"27_CR4","unstructured":"Kershenbaum, A., Musser, D., Stepanov, A.: Higher order imperative programming. Technical Report 88-10, Rensselaer Polytechnic Institute (1988)"},{"key":"27_CR5","unstructured":"Stroustrup, B.: Parameterized types for C++. In: USENIX C++ Conference (1988)"},{"key":"27_CR6","unstructured":"Stepanov, A.A., Lee, M.: The Standard Template Library. Technical Report X3J16\/94-0095, WG21\/N0482, ISO Programming Language C++ Project (1994)"},{"key":"27_CR7","series-title":"Professional computing series","volume-title":"Generic Programming and the STL","author":"M.H. Austern","year":"1999","unstructured":"Austern, M.H.: Generic Programming and the STL. Professional computing series. Addison-Wesley, Reading (1999)"},{"key":"27_CR8","volume-title":"Handbook on Computer Vision and Applications","author":"U. K\u00f6the","year":"1999","unstructured":"K\u00f6the, U.: Reusable Software in Computer Vision. In: Handbook on Computer Vision and Applications, vol.\u00a03. Academic Press, London (1999)"},{"key":"27_CR9","volume-title":"The Boost Graph Library: User Guide and Reference Manual","author":"J. Siek","year":"2002","unstructured":"Siek, J., Lee, L.Q., Lumsdaine, A.: The Boost Graph Library: User Guide and Reference Manual. Addison-Wesley, Reading (2002)"},{"key":"27_CR10","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1145\/304893.305001","volume-title":"Proceedings of the fifteenth annual symposium on Computational geometry","author":"J.D. Boissonnat","year":"1999","unstructured":"Boissonnat, J.D., Cazals, F., Da, F., Devillers, O., Pion, S., Rebufat, F., Teillaud, M., Yvinec, M.: Programming with CGAL: the example of triangulations. In: Proceedings of the fifteenth annual symposium on Computational geometry, pp. 421\u2013422. ACM Press, New York (1999)"},{"key":"27_CR11","doi-asserted-by":"publisher","first-page":"729","DOI":"10.1093\/bioinformatics\/17.8.729","volume":"17","author":"W.R. Pitt","year":"2001","unstructured":"Pitt, W.R., Williams, M.A., Steven, M., Sweeney, B., Bleasby, A.J., Moss, D.S.: The bioinformatics template library: generic components for biocomputing. Bioinformatics\u00a017, 729\u2013737 (2001)","journal-title":"Bioinformatics"},{"key":"27_CR12","unstructured":"Troyer, M., Todo, S., Trebst, S., Alet, F.: ALPS: Algorithms and Libraries for Physics Simulations, \n                    \n                      http:\/\/alps.comp-phys.org\/"},{"key":"27_CR13","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1145\/949305.949317","volume-title":"OOPSLA 2003: Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications","author":"R. Garcia","year":"2003","unstructured":"Garcia, R., Jarvi, J., Lumsdaine, A., Siek, J., Willcock, J.: A comparative study of language support for generic programming. In: OOPSLA 2003: Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, pp. 115\u2013134. ACM Press, New York (2003)"},{"key":"27_CR14","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/1065010.1065021","volume-title":"PLDI 2005: Proceedings of the ACM SIGPLAN 2005 conference on Programming language design and implementation","author":"J. Siek","year":"2005","unstructured":"Siek, J., Lumsdaine, A.: Essential language support for generic programming. In: PLDI 2005: Proceedings of the ACM SIGPLAN 2005 conference on Programming language design and implementation, pp. 73\u201384. ACM Press, New York (2005)"},{"key":"27_CR15","unstructured":"Girard, J.Y.: Interpr\u00e9tation Fonctionnelle et \u00c9limination des Coupures de l\u2019Arithm\u00e9tique d\u2019Ordre Sup\u00e9rieur. Th\u00e8se de doctorat d\u2019\u00e9tat, Universit\u00e9 Paris VII, Paris, France (1972)"},{"key":"27_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1007\/3-540-06859-7_148","volume-title":"Programming Symposium","author":"J.C. Reynolds","year":"1974","unstructured":"Reynolds, J.C.: Towards a theory of type structure. In: Robinet, B. (ed.) Programming Symposium. LNCS, vol.\u00a019, pp. 408\u2013425. Springer, Heidelberg (1974)"},{"key":"27_CR17","unstructured":"Boost (Boost C++ Libraries), \n                    \n                      http:\/\/www.boost.org\/"},{"key":"27_CR18","unstructured":"International Organization for Standardization: ISO\/ IEC 14882:1998: Programming languages \u2014 C++. International Organization for Standardization, Geneva, Switzerland (1998)"},{"key":"27_CR19","doi-asserted-by":"publisher","first-page":"564","DOI":"10.1145\/359763.359789","volume":"20","author":"B. Liskov","year":"1977","unstructured":"Liskov, B., Snyder, A., Atkinson, R., Schaffert, C.: Abstraction mechanisms in CLU. Communications of the ACM\u00a020, 564\u2013576 (1977)","journal-title":"Communications of the ACM"},{"key":"27_CR20","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"Milner, R.: A theory of type polymorphism in programming. Journal of Computer and System Sciences\u00a017, 348\u2013375 (1978)","journal-title":"Journal of Computer and System Sciences"},{"key":"27_CR21","volume-title":"Elements of Mathematics. Theory of Sets","author":"N. Bourbaki","year":"1968","unstructured":"Bourbaki, N.: Elements of Mathematics. Theory of Sets. Springer, Heidelberg (1968)"},{"key":"27_CR22","first-page":"60","volume-title":"ACM Symposium on Principles of Programming Languages","author":"P. Wadler","year":"1989","unstructured":"Wadler, P., Blott, S.: How to make ad-hoc polymorphism less ad-hoc. In: ACM Symposium on Principles of Programming Languages, pp. 60\u201376. ACM, New York (1989)"},{"key":"27_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1040305.1040306","volume-title":"POPL 2005: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"M.M.T. Chakravarty","year":"2005","unstructured":"Chakravarty, M.M.T., Keller, G., Peyton Jones, S., Marlow, S.: Associated types with class. In: POPL 2005: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 1\u201313. ACM Press, New York (2005)"},{"key":"27_CR24","volume-title":"Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP 2005)","author":"M.M.T. Chakravarty","year":"2005","unstructured":"Chakravarty, M.M.T., Keller, G., Jones, S.P.: Associated type synonyms. In: Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP 2005). ACM Press, New York (2005)"},{"key":"27_CR25","doi-asserted-by":"crossref","unstructured":"Canning, P., Cook, W., Hill, W., Olthoff, W., Mitchell, J.C.: F-bounded polymorphism for object-oriented programming. In: Proceedings of the fourth international conference on functional programming languages and computer architecture (1989)","DOI":"10.1145\/99370.99392"},{"key":"27_CR26","unstructured":"Odersky, M., et al.: An overview of the scala programming language. Technical Report IC\/2004\/64, EPFL Lausanne, Switzerland (2004)"}],"container-title":["Lecture Notes in Computer Science","Generative Programming and Component Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11561347_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:13:43Z","timestamp":1619493223000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11561347_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291381","9783540319771"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11561347_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}