{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:26:50Z","timestamp":1750307210682,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,1,23]],"date-time":"2012-01-23T00:00:00Z","timestamp":1327276800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,1,23]]},"DOI":"10.1145\/2103746.2103765","type":"proceedings-article","created":{"date-parts":[[2012,1,24]],"date-time":"2012-01-24T16:47:19Z","timestamp":1327423639000},"page":"93-96","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Towards typing for small-step direct reflection"],"prefix":"10.1145","author":[{"given":"Jacques","family":"Carette","sequence":"first","affiliation":[{"name":"McMaster University , Hamilton, ON, Canada"}]},{"given":"Aaron","family":"Stump","sequence":"additional","affiliation":[{"name":"The University of Iowa, Iowa City, IA, USA"}]}],"member":"320","published-online":{"date-parts":[[2012,1,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596638.1596644"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796809007205"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.2307\/2694928"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of RTA 2010","author":"Hills M.","year":"2010","unstructured":"M. Hills and G. Rosu . A Rewriting Logic Semantics Approach to Modular Program Analysis. In C. Lynch, editor , Proceedings of RTA 2010 , Edinburgh, Scotland, UK, pages 151--160 , 2010 . M. Hills and G. Rosu. A Rewriting Logic Semantics Approach to Modular Program Analysis. In C. Lynch, editor, Proceedings of RTA 2010, Edinburgh, Scotland, UK, pages 151--160, 2010."},{"volume-title":"Pattern calculus : computing with functions and structures","year":"2009","key":"e_1_3_2_1_5_1","unstructured":"Barry. Jay. Pattern calculus : computing with functions and structures . Springer , Berlin ; London :, 2009 . Barry. Jay. Pattern calculus : computing with functions and structures. Springer, Berlin ; London :, 2009."},{"key":"e_1_3_2_1_6_1","unstructured":"Barry Jay and Thomas Given-Wilson. A combinatory account of internal structure. Accepted to Journal of Symbolic Logic.  Barry Jay and Thomas Given-Wilson. A combinatory account of internal structure. Accepted to Journal of Symbolic Logic."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034808"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111060"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/1762174.1762214"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542509"},{"key":"e_1_3_2_1_11_1","first-page":"127","volume-title":"Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming (TFP)","author":"Rhiger Morten","year":"2005","unstructured":"Morten Rhiger . First-class Open and Closed Code Fragments . In Marko C. J. D. van Eekelen, editor, Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming (TFP) , volume 6 , pages 127 -- 144 , 2005 . Morten Rhiger. First-class Open and Closed Code Fragments. In Marko C. J. D. van Eekelen, editor, Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming (TFP), volume 6, pages 127--144, 2005."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-007-9022-0"},{"key":"e_1_3_2_1_13_1","series-title":"LIPIcs","first-page":"345","volume-title":"Proceedings of RTA","author":"Stump Aaron","year":"2011","unstructured":"Aaron Stump , Garrin Kimmell , and Roba El Haj Omar . Type Preservation as a Confluence Problem . In Manfred Schmidt-Schau\u00df, editor, Proceedings of RTA 2011 , volume 10 of LIPIcs , pages 345 -- 360 , 2011. Aaron Stump, Garrin Kimmell, and Roba El Haj Omar. Type Preservation as a Confluence Problem. In Manfred Schmidt-Schau\u00df, editor, Proceedings of RTA 2011, volume 10 of LIPIcs, pages 345--360, 2011."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034818"}],"event":{"name":"POPL '12: The 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"Philadelphia Pennsylvania USA","acronym":"POPL '12"},"container-title":["Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2103746.2103765","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2103746.2103765","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:06:35Z","timestamp":1750241195000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2103746.2103765"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,23]]},"references-count":14,"alternative-id":["10.1145\/2103746.2103765","10.1145\/2103746"],"URL":"https:\/\/doi.org\/10.1145\/2103746.2103765","relation":{},"subject":[],"published":{"date-parts":[[2012,1,23]]},"assertion":[{"value":"2012-01-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}