{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T10:35:36Z","timestamp":1725618936978},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,9,26]]},"DOI":"10.1145\/1863495.1863508","type":"proceedings-article","created":{"date-parts":[[2010,9,28]],"date-time":"2010-09-28T17:41:50Z","timestamp":1285695710000},"page":"97-108","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Constructing datatype-generic fully polynomial-time approximation schemes using generalised thinning"],"prefix":"10.1145","author":[{"given":"Shin-Cheng","family":"Mu","sequence":"first","affiliation":[{"name":"Academia Sinica, Taipei, Taiwan Roc"}]},{"given":"Yu-Han","family":"Lyu","sequence":"additional","affiliation":[{"name":"Academia Sinica, Taipei, Taiwan Roc"}]},{"given":"Akimasa","family":"Morihata","sequence":"additional","affiliation":[{"name":"Tohoku University, Tokyo, Japan"}]}],"member":"320","published-online":{"date-parts":[[2010,9,26]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-003-0438-y"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00291-P"},{"key":"e_1_3_2_2_3_1","first-page":"287","volume-title":"Research Topics in Functional Programming","author":"Bird R. S.","year":"1990","unstructured":"}} R. S. Bird . A calculus of functions for program derivation . In D. A. Turner, editor, Research Topics in Functional Programming , University of Texas at Austin Year of Programming Series, pages 287 -- 308 . Addison-Wesley , 1990 . }}R. S. Bird. A calculus of functions for program derivation. In D. A. Turner, editor, Research Topics in Functional Programming, University of Texas at Austin Year of Programming Series, pages 287--308. Addison-Wesley, 1990."},{"key":"e_1_3_2_2_4_1","series-title":"International Series in Computer Science","volume-title":"Algebra of Programming","author":"Bird R. S.","year":"1997","unstructured":"}} R. S. Bird and O. de Moor . Algebra of Programming . International Series in Computer Science . Prentice Hall , 1997 . }}R. S. Bird and O. de Moor. Algebra of Programming. International Series in Computer Science. Prentice Hall, 1997."},{"key":"e_1_3_2_2_5_1","first-page":"281","volume-title":"Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, LNCS No. 2297","author":"Bird R. S.","year":"2002","unstructured":"}} R. S. Bird , J. Gibbons , and S.-C. Mu . Algebraic methods for optimization problems . In Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, LNCS No. 2297 , pages 281 -- 307 . Springer-Verlag , 2002 . }}R. S. Bird, J. Gibbons, and S.-C. Mu. Algebraic methods for optimization problems. In Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, LNCS No. 2297, pages 281--307. Springer-Verlag, 2002."},{"key":"e_1_3_2_2_7_1","first-page":"1","volume-title":"Programming Languages: Implementations, Logics, and Programs, LNCS No. 982","author":"de Moor O.","year":"1995","unstructured":"}} O. de Moor . A generic program for sequential decision processes . In Programming Languages: Implementations, Logics, and Programs, LNCS No. 982 , pages 1 -- 23 . Springer-Verlag , 1995 . }}O. de Moor. A generic program for sequential decision processes. In Programming Languages: Implementations, Logics, and Programs, LNCS No. 982, pages 1--23. Springer-Verlag, 1995."},{"volume-title":"Pattern guards and transformational patterns. Electronic Notes in Theoretical Computer Science, 41(1)","year":"2000","author":"Erwig M.","key":"e_1_3_2_2_8_1","unstructured":"}} M. Erwig and S. L. Peyton Jones . Pattern guards and transformational patterns. Electronic Notes in Theoretical Computer Science, 41(1) , 2000 . }}M. Erwig and S. L. Peyton Jones. Pattern guards and transformational patterns. Electronic Notes in Theoretical Computer Science, 41(1), 2000."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/322077.322090"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1347082.1347159"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/321941.321951"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/321906.321909"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054105003303"},{"key":"e_1_3_2_2_14_1","first-page":"415","volume-title":"Nonlinear Programming","author":"Korte B.","year":"1981","unstructured":"}} B. Korte and R. Schrader . On the existence of fast approximation schemes . In Nonlinear Programming , volume 4 , pages 415 -- 437 . Academic Press , 1981 . }}B. Korte and R. Schrader. On the existence of fast approximation schemes. In Nonlinear Programming, volume 4, pages 415--437. Academic Press, 1981."},{"key":"e_1_3_2_2_15_1","unstructured":"}}S.-C. Mu Y.-H. Lyu and A. Morihata. http:\/\/www.iis.sinica.edu.tw\/~scm\/2010\/fptas 2010. }}S.-C. Mu Y.-H. Lyu and A. Morihata. http:\/\/www.iis.sinica.edu.tw\/~scm\/2010\/fptas 2010."},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.12.1.57.11901"}],"event":{"name":"ICFP '10: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Baltimore Maryland USA","acronym":"ICFP '10"},"container-title":["Proceedings of the 6th ACM SIGPLAN workshop on Generic programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1863495.1863508","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T08:18:37Z","timestamp":1673425117000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1863495.1863508"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9,26]]},"references-count":15,"alternative-id":["10.1145\/1863495.1863508","10.1145\/1863495"],"URL":"https:\/\/doi.org\/10.1145\/1863495.1863508","relation":{},"subject":[],"published":{"date-parts":[[2010,9,26]]},"assertion":[{"value":"2010-09-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}
