{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,20]],"date-time":"2024-02-20T01:21:02Z","timestamp":1708392062180},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2014,2,12]],"date-time":"2014-02-12T00:00:00Z","timestamp":1392163200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2015,2]]},"DOI":"10.1007\/s10009-014-0299-0","type":"journal-article","created":{"date-parts":[[2014,2,11]],"date-time":"2014-02-11T10:54:04Z","timestamp":1392116044000},"page":"91-105","source":"Crossref","is-referenced-by-count":2,"title":["Functional prototypes for generic C++ libraries: a transformational approach based on higher-order, typed signatures"],"prefix":"10.1007","volume":"17","author":[{"given":"Daniel","family":"Lincke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sibylle","family":"Schupp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cezar","family":"Ionescu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,2,12]]},"reference":[{"key":"299_CR1","volume-title":"C++ Template Metaprogramming. Concepts, Tools, and Techniques from Boost and Beyond. C++ In-Depth Series","author":"D Abrahams","year":"2005","unstructured":"Abrahams, D., Gurtovoy, A.: C++ Template Metaprogramming. Concepts, Tools, and Techniques from Boost and Beyond. C++ In-Depth Series. Addison-Wesley, Amsterdam (2005)"},{"key":"299_CR2","unstructured":"Brooks, N., Adger, W.N.: Country level risk measures of climate-related natural disasters an implications for adaptation to climate change. In: Tyndall Center Working Paper, vol. 26 (2003)"},{"issue":"5","key":"299_CR3","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/j.entcs.2009.09.038","volume":"238","author":"AH Bagge","year":"2009","unstructured":"Bagge, A.H., Haveraaen, M.: Axiom-based transformations: optimisation and testing. Electron. Notes Theor. Comput. Sci. 238(5), 17\u201333 (2009)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"12","key":"299_CR4","doi-asserted-by":"crossref","first-page":"795","DOI":"10.1016\/j.parco.2007.08.002","volume":"33","author":"N Botta","year":"2007","unstructured":"Botta, N., Ionescu, C.: Relation-based computations in a monadic BSP model. Parallel Comput. 33(12), 795\u2013821 (2007)","journal-title":"Parallel Comput."},{"key":"299_CR5","unstructured":"Botta, N., Ionescu, C., Linstead, C., Klein, R.: Structuring Distributed Relation-Based Computations with SCDRC. PIK Report 103, Potsdam Institute for Climate Impact Research, Potsdam (2006)"},{"key":"299_CR6","doi-asserted-by":"crossref","unstructured":"Bernardy, J., Jansson, P., Zalewski, M., Schupp, S., Priesnitz, A.: Generic programming with C++ concepts and Haskell type classes: a comparison. J. Funct. Program. 20(3\u20144), 271\u2013302 (2010)","DOI":"10.1017\/S095679681000016X"},{"issue":"8","key":"299_CR7","doi-asserted-by":"crossref","first-page":"4025","DOI":"10.1016\/j.amc.2011.08.051","volume":"218","author":"N Botta","year":"2011","unstructured":"Botta, N., Mandel, A., Ionescu, C., Hofmann, M., Lincke, D., Schupp, S., Jaeger, C.: A functional framework for agent-based models of exchange. Appl. Math. Comput. 218(8), 4025\u20134040 (2011)","journal-title":"Appl. Math. Comput."},{"key":"299_CR8","unstructured":"Boost C++ Libraries. http:\/\/www.boost.org\/ . Accessed 2 Oct 2013"},{"key":"299_CR9","unstructured":"Broberg, N.: The haskell-src-exts package. http:\/\/hackage.haskell.org\/package\/haskell-src-exts . Accessed 28 Nov 2011"},{"key":"299_CR10","unstructured":"de Guzman, J., Marsden, D.: Fusion library homepage. http:\/\/www.boost.org\/libs\/fusion . Accessed 28 Nov 2011"},{"key":"299_CR11","unstructured":"The GNU Compiler Collection (GCC). http:\/\/gcc.gnu.org\/ . Accessed 2 Oct 2013"},{"key":"299_CR12","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1017\/S0956796806006198","volume":"17","author":"R Garcia","year":"2007","unstructured":"Garcia, R., J\u00e4rvi, J., Lumsdaine, A., Siek, J., Willcock, J.: An extended comparative study of language support for generic programming. J. Funct. Program. 17, 145\u2013205 (2007)","journal-title":"J. Funct. Program."},{"key":"299_CR13","doi-asserted-by":"crossref","unstructured":"Gregor, D., J\u00e4rvi, J., Siek, J., Stroustrup, B., Dos Reis, G., Lumsdaine, A.: Concepts: linguistic support for generic programming in C++. In: Proceedings of the 21st Annual ACM SIGPLAN Conference on Object-oriented Programming Systems, Languages, and Applications, pp. 291\u2013310. ACM, New York (2006)","DOI":"10.1145\/1167473.1167499"},{"key":"299_CR14","unstructured":"Gregor, D.: ConceptGCC. http:\/\/www.generic-programming.org\/software\/ConceptGCC\/ . Accessed 2 Oct 2013"},{"key":"299_CR15","unstructured":"Gregor, D.: What happened in Frankfurt? C++-next, the next generation of C++. http:\/\/cpp-next.com\/archive\/2009\/08\/what-happened-in-frankfurt\/ (2009). Accessed 2 Oct 2013"},{"key":"299_CR16","unstructured":"Gregor, D., Stroustrup, B.: Concepts (Revision 1). Technical report. Document number: N2081=06-0151, Project: Programming Language C++. Evolution Working Group (2006)"},{"key":"299_CR17","unstructured":"Gregor, D., Stroustrup, B., Widman, J., Siek. J.: Proposed Wording for Concepts (Revision 8). Technical report N2741=08-0251, ISO\/IEC JTC1\/SC22\/WG21 - C++ (2008)"},{"key":"299_CR18","unstructured":"Hudak, P., Jones, M.P.: Haskell vs. Ada vs. C++ vs. Awk vs. $$\\ldots $$ \u2026 An Experiment in Software Prototyping Productivity. Research report YALEU\/DCS\/RR-1049, Department of Computer Science, Yale University, New Haven (1994)"},{"key":"299_CR19","unstructured":"Haeri, S.H., Schupp, S.: Functional metaprogramming in C++ and cross-lingual development with Haskell. In: Proceedings of the 23rd Symposium on Implementation and Application of Functional Languages, IFL2011 (2011)"},{"key":"299_CR20","unstructured":"Ionescu, C.: Vulnerability modelling and monadic dynamical systems. PhD thesis, Freie Universit\u00e4t Berlin (2008)"},{"key":"299_CR21","doi-asserted-by":"crossref","unstructured":"Janssen, M.A., Ostrom, E.: Resilience, vulnerability and adaptation: a cross-cutting theme of the international human dimensions programme on global environmental change. Glob. Environ. Chang. 16(3), 237\u2013239 (2006) (Editorial)","DOI":"10.1016\/j.gloenvcha.2006.04.003"},{"key":"299_CR22","volume-title":"Haskell 98 Language and Libraries: The Revised Report","author":"SP Jones","year":"2003","unstructured":"Jones, S.P.: Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, Cambridge (2003)"},{"key":"299_CR23","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1002\/spe.504","volume":"33","author":"J J\u00e4rvi","year":"2003","unstructured":"J\u00e4rvi, J., Powell, G., Lumsdaine, A.: The lambda library unnamed functions in C++. Softw. Pract. Exp. 33, 259\u2013291 (2003)","journal-title":"Softw. Pract. Exp."},{"key":"299_CR24","unstructured":"Lincke, D., Ionescu, C., Botta, N.: A generic library for earth system modelling based on monadic systems. In: Ehlers, M., Ehlers, M., Behncke, K., Gerstengarbe, F.- W., Hillen, F., Koppers, L., Stroinck, L., W\u00e4chter, J. (eds.) Proceedings of the Digital earth summit on geoinformatics 2008: tools for global change research, pp. 188\u2013194. Wichmann, Heidelberg (2008)"},{"key":"299_CR25","unstructured":"Lincke, D.: A transformational approach to generic programming. http:\/\/www.pik-potsdam.de\/members\/lincke\/tagp . Accessed 26 June 2012"},{"key":"299_CR26","unstructured":"Lincke, D.: A transformational approach to generic software development based on higher-order, typed (HOT) functional signatures. PhD thesis, Technical University Hamburg-Harburg (2012)"},{"key":"299_CR27","doi-asserted-by":"crossref","unstructured":"Lincke, D., Jansson, P., Zalewski, M., Ionescu, C.: Generic libraries in C++ with concepts from high-level domain descriptions in Haskell. A domain-specific library for computational vulnerability assessment. In: Proceedings of the IFIP Working Conference on Domain Specific Languages, pp. 236\u2013261 (2009)","DOI":"10.1007\/978-3-642-03034-5_12"},{"key":"299_CR28","doi-asserted-by":"crossref","unstructured":"L\u00e4mmel, R., Peyton Jones, S.: Scrap your boilerplate: a practical design pattern for generic programming. In: Proceedings of the 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, (TLDI \u201903), SIGPLAN Not. 38(3), 26\u201337 (2003)","DOI":"10.1145\/604174.604179"},{"key":"299_CR29","doi-asserted-by":"crossref","unstructured":"Lincke, D., Schupp, S.: From hot to cool: transforming higher-order typed languages to concept-constrained object-oriented languages. In: Proceedings of the 12th Workshop on Language Descriptions, Tools and Applications (LDTA 2012), Tallinn (2012)","DOI":"10.1145\/2427048.2427051"},{"key":"299_CR30","unstructured":"McNamara B.: Multiparadigm programming: novel devices for implementing functional and logic programming constructs in C++. PhD thesis, Georgia Institute of Technology (2004)"},{"key":"299_CR31","unstructured":"Stepanov, A.A., Lee, M.: The Standard Template Library. Technical report X3J16\/94-0095, WG21\/N0482 (1994)"},{"key":"299_CR32","volume-title":"Software Engineering","author":"I Sommerville","year":"2006","unstructured":"Sommerville, I.: Software Engineering. Addison-Wesley, Amsterdam (2006)"},{"key":"299_CR33","unstructured":"Turner, D.A.: Functional programs as executable specifications. In: Proceedings of a Discussion Meeting of the Royal Society of London on Mathematical Logic and Programming Languages, pp. 29\u201354. Prentice-Hall Inc, USA (1985)"},{"key":"299_CR34","volume-title":"C++ Templates: The Complete Guide","author":"D Vandervoorde","year":"2002","unstructured":"Vandervoorde, D., Josuttis, N.M.: C++ Templates: The Complete Guide. Addison-Wesley, Amsterdam (2002)"},{"key":"299_CR35","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1108\/17568691311299363","volume":"5","author":"S Wolf","year":"2013","unstructured":"Wolf, S., Hinkel, J., Hallier, M., Bisaro, A., Lincke, D., Ionescu, C., Klein, R.J.T.: Clarifying vulnerability definitions and assessments using formalisation. Int. J. Clim. Chang. Strateg. Manag. 5, 54\u201370 (2013)","journal-title":"Int. J. Clim. Chang. Strateg. Manag."},{"key":"299_CR36","unstructured":"Zalewski, M.: Generic Programming with Concepts. PhD thesis, Chalmers University of Technology, Gothenburg (2008)"},{"key":"299_CR37","unstructured":"Zalewski, M., Priesnitz, A., Ionescu, C., Botta, N., Schupp, S.: Multi-language library development. From Haskell type classes to C++ concepts. In: Striegnitz, J. (ed.) Proceedings of 6th International Workshop on Multiparadigm Programming with Object-Oriented Languages (2007)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-014-0299-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-014-0299-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-014-0299-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T14:24:23Z","timestamp":1565187863000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-014-0299-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,2,12]]},"references-count":37,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,2]]}},"alternative-id":["299"],"URL":"https:\/\/doi.org\/10.1007\/s10009-014-0299-0","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,2,12]]}}}