{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:23:29Z","timestamp":1750307009539,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,3,31]],"date-time":"2012-03-31T00:00:00Z","timestamp":1333152000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004965","name":"Sixth Framework Programme","doi-asserted-by":"publisher","award":["GOCE-018476"],"award-info":[{"award-number":["GOCE-018476"]}],"id":[{"id":"10.13039\/501100004965","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["702717"],"award-info":[{"award-number":["702717"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,3,31]]},"DOI":"10.1145\/2427048.2427051","type":"proceedings-article","created":{"date-parts":[[2013,1,11]],"date-time":"2013-01-11T15:43:47Z","timestamp":1357919027000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["From HOT to COOL"],"prefix":"10.1145","author":[{"given":"Daniel","family":"Lincke","sequence":"first","affiliation":[{"name":"Potsdam Institute for Climate Impact Research (PIK), Germany"}]},{"given":"Sibylle","family":"Schupp","sequence":"additional","affiliation":[{"name":"Hamburg University of Technology, Germany"}]}],"member":"320","published-online":{"date-parts":[[2012,3,31]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"http:\/\/www.pik-potsdam.de\/members\/lincke\/tagp.  http:\/\/www.pik-potsdam.de\/members\/lincke\/tagp."},{"key":"e_1_3_2_1_2_1","unstructured":"Boost C++ Libraries. http:\/\/www.boost.org\/.  Boost C++ Libraries. http:\/\/www.boost.org\/."},{"key":"e_1_3_2_1_3_1","volume-title":"C++ Template Metaprogramming. Concepts, Tools, and Techniques from Boost and Beyond","author":"Abrahams D.","year":"2005","unstructured":"D. Abrahams and A. Gurtovoy . C++ Template Metaprogramming. Concepts, Tools, and Techniques from Boost and Beyond . Addison-Wesley , 2005 . D. Abrahams and A. Gurtovoy. C++ Template Metaprogramming. Concepts, Tools, and Techniques from Boost and Beyond. Addison-Wesley, 2005."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2010.08.030"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679681000016X"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.parco.2007.08.002"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/286936.286957"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01806315"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2008.7.5.a2"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/949305.949317"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796806006198"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167499"},{"key":"e_1_3_2_1_13_1","volume-title":"Concepts (Revision 1). Technical report","author":"Gregor D.","year":"2006","unstructured":"D. Gregor and B. Stroustrup . Concepts (Revision 1). Technical report , 2006 . N2081=06-0151, Programming Language C++, Evolution Working Group . D. Gregor and B. Stroustrup. Concepts (Revision 1). Technical report, 2006. N2081=06-0151, Programming Language C++, Evolution Working Group."},{"key":"e_1_3_2_1_14_1","volume-title":"IFL2011: Proc. of the 23rd Symp. on Implementation and Application of Functional Languages","author":"Haeri S. H.","year":"2011","unstructured":"S. H. Haeri and S. Schupp . Functional metaprogramming in C++ and cross-lingual development with Haskell . In IFL2011: Proc. of the 23rd Symp. on Implementation and Application of Functional Languages , 2011 . S. H. Haeri and S. Schupp. Functional metaprogramming in C++ and cross-lingual development with Haskell. In IFL2011: Proc. of the 23rd Symp. on Implementation and Application of Functional Languages, 2011."},{"key":"e_1_3_2_1_15_1","volume-title":"Freie Universit\u00e4t Berlin","author":"Ionescu C.","year":"2008","unstructured":"C. Ionescu . Vulnerability Modelling and Monadic Dynamical Systems. PhD thesis , Freie Universit\u00e4t Berlin , 2008 . C. Ionescu. Vulnerability Modelling and Monadic Dynamical Systems. PhD thesis, Freie Universit\u00e4t Berlin, 2008."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/604174.604179"},{"key":"e_1_3_2_1_17_1","first-page":"103","volume-title":"Proc. of the Conf. on Object-Oriented Technologies","author":"L\u00e4ufer K.","year":"1995","unstructured":"K. L\u00e4ufer . A framework for higher-order functions in C++ . In Proc. of the Conf. on Object-Oriented Technologies , pages 103 -- 116 . USENIX Association , 1995 . K. L\u00e4ufer. A framework for higher-order functions in C++. In Proc. of the Conf. on Object-Oriented Technologies, pages 103--116. USENIX Association, 1995."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796803004969"},{"key":"e_1_3_2_1_21_1","first-page":"1","volume-title":"6th Int. Workshop on Multiparadigm Programming with Languages at the Eur. Conf. on Object-Oriented Programming (ECOOP)","author":"Moors A.","year":"2007","unstructured":"A. Moors , F. Piessens , and M. Odersky . Towards equal rights for higher-kinded types . In 6th Int. Workshop on Multiparadigm Programming with Languages at the Eur. Conf. on Object-Oriented Programming (ECOOP) , pages 1 -- 4 , 2007 . A. Moors, F. Piessens, and M. Odersky. Towards equal rights for higher-kinded types. In 6th Int. Workshop on Multiparadigm Programming with Languages at the Eur. Conf. on Object-Oriented Programming (ECOOP), pages 1--4, 2007."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449764.1449798"},{"key":"e_1_3_2_1_23_1","unstructured":"G. Nelan. Firstification. PhD thesis Department of Computer Science Arizona State University 1994.   G. Nelan. Firstification . PhD thesis Department of Computer Science Arizona State University 1994."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/645394.651921"},{"key":"e_1_3_2_1_25_1","volume-title":"EPFL Lausanne","author":"Odersky M.","year":"2004","unstructured":"M. Odersky , P. Altherr , V. Cremet , B. Emir , S. Maneth , S. Micheloud , N. Mihaylov , M. Schinz , E. Stenman , and M. Zenger . An overview of the Scala programming language. Technical report , EPFL Lausanne , Switzerland , 2004 . M. Odersky, P. Altherr, V. Cremet, B. Emir, S. Maneth, S. Micheloud, N. Mihaylov, M. Schinz, E. Stenman, and M. Zenger. An overview of the Scala programming language. Technical report, EPFL Lausanne, Switzerland, 2004."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263715"},{"key":"e_1_3_2_1_27_1","volume-title":"Manning","author":"Petricek T.","year":"2009","unstructured":"T. Petricek and J. Skeet . Real-World Functional Programming. With examples in F# and C# . Manning , 2009 . T. Petricek and J. Skeet. Real-World Functional Programming. With examples in F# and C#. Manning, 2009."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/800194.805852"},{"key":"e_1_3_2_1_30_1","volume-title":"Proc. 6th Int. Workshop on Multiparadigm Programming with Object-Oriented Languages","author":"Zalewski M.","year":"2007","unstructured":"M. Zalewski , A. Priesnitz , C. Ionescu , N. Botta , and S. Schupp . Multi-language library development. From Haskell type classes to C++ concepts . In Proc. 6th Int. Workshop on Multiparadigm Programming with Object-Oriented Languages , 2007 . M. Zalewski, A. Priesnitz, C. Ionescu, N. Botta, and S. Schupp. Multi-language library development. From Haskell type classes to C++ concepts. In Proc. 6th Int. Workshop on Multiparadigm Programming with Object-Oriented Languages, 2007."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2009.8.5.a2"}],"event":{"name":"LDTA '12: International Workshop on Language Descriptions, Tools, and Applications","sponsor":["University of Minnesota Software Engineering Center","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Tallinn Estonia","acronym":"LDTA '12"},"container-title":["Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2427048.2427051","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2427048.2427051","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:49:00Z","timestamp":1750236540000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2427048.2427051"}},"subtitle":["transforming higher-order typed languages to concept-constrained object-oriented languages"],"short-title":[],"issued":{"date-parts":[[2012,3,31]]},"references-count":28,"alternative-id":["10.1145\/2427048.2427051","10.1145\/2427048"],"URL":"https:\/\/doi.org\/10.1145\/2427048.2427051","relation":{},"subject":[],"published":{"date-parts":[[2012,3,31]]},"assertion":[{"value":"2012-03-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}