{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T01:23:42Z","timestamp":1725672222036},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,1,23]]},"DOI":"10.1145\/1708016.1708024","type":"proceedings-article","created":{"date-parts":[[2010,1,26]],"date-time":"2010-01-26T13:53:54Z","timestamp":1264514034000},"page":"51-62","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Pointwise generalized algebraic data types"],"prefix":"10.1145","author":[{"given":"Chuan-kai","family":"Lin","sequence":"first","affiliation":[{"name":"Portland State University, Portland, OR, USA"}]},{"given":"Tim","family":"Sheard","sequence":"additional","affiliation":[{"name":"Portland State University, Portland, OR, USA"}]}],"member":"320","published-online":{"date-parts":[[2010,1,23]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Jim Apple and Wes Weimer. Simulating dependent types with guarded algebraic datatypes. Online at http:\/\/www.cs.virginia.edu\/~jba5b\/singleton\/ (accessed January 23 2009) August 2008. Jim Apple and Wes Weimer. Simulating dependent types with guarded algebraic datatypes. Online at http:\/\/www.cs.virginia.edu\/~jba5b\/singleton\/ (accessed January 23 2009) August 2008."},{"key":"e_1_3_2_1_2_1","unstructured":"Lennart Augustsson and Kent Petersson. Silly type families. Online at http:\/\/web.cecs.pdx.edu\/~sheard\/papers\/silly.pdf (accessed September 26 2009) September 1994. Lennart Augustsson and Kent Petersson. Silly type families. Online at http:\/\/web.cecs.pdx.edu\/~sheard\/papers\/silly.pdf (accessed September 26 2009) September 1994."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581494"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581698"},{"key":"e_1_3_2_1_6_1","first-page":"66","volume-title":"Proceedings of the 1992 Workshop on Types for Proofs and Programs","author":"Coquand Thierry","year":"1992"},{"volume-title":"Cambridge University Press","year":"2003","author":"Jones Simon Peyton","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159811"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094814"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159840"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/647977.743243"},{"volume-title":"Oregon Health & Science University","year":"2004","author":"Pasalic Emir","key":"e_1_3_2_1_13_1"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111058"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596599"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Tim\n \n Sheard\n .\n \n \n \n Generic programming programming in Omega. In Roland Backhouse Jeremy Gibbons Ralf Hinze and Johan Jeuring editors Datatype-Generic Programming volume \n 4719\n of \n LNCS pages \n 258\n --\n 284\n . \n Springer 2006\n . Tim Sheard. Generic programming programming in Omega. In Roland Backhouse Jeremy Gibbons Ralf Hinze and Johan Jeuring editors Datatype-Generic Programming volume 4719 of LNCS pages 258--284. Springer 2006.","DOI":"10.1007\/978-3-540-76786-2_5"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88059-2_5"},{"key":"e_1_3_2_1_18_1","first-page":"106","volume-title":"Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages","author":"Sheard Tim","year":"2004"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1180475.1180476"},{"key":"e_1_3_2_1_20_1","unstructured":"Peter J. Stuckey and Martin Sulzmann. Type inference for guarded recursive data types. The Computing Research Repository (CoRR) abs\/cs\/0507037 July 2005. Peter J. Stuckey and Martin Sulzmann. Type inference for guarded recursive data types. The Computing Research Repository (CoRR) abs\/cs\/0507037 July 2005."},{"key":"e_1_3_2_1_22_1","unstructured":"The GHC Team. The Glorious Glasgow Haskell Compilation System User's Guide Version 6.4 March 2005. The GHC Team. The Glorious Glasgow Haskell Compilation System User's Guide Version 6.4 March 2005."},{"volume-title":"Accessed","year":"2009","author":"The Darcs","key":"e_1_3_2_1_23_1"},{"volume-title":"Accessed","year":"2009","author":"The Pugs","key":"e_1_3_2_1_24_1"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351246"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604150"}],"event":{"name":"POPL '10: The 37th 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":"Madrid Spain","acronym":"POPL '10"},"container-title":["Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1708016.1708024","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T06:03:25Z","timestamp":1673330605000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1708016.1708024"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1,23]]},"references-count":23,"alternative-id":["10.1145\/1708016.1708024","10.1145\/1708016"],"URL":"https:\/\/doi.org\/10.1145\/1708016.1708024","relation":{},"subject":[],"published":{"date-parts":[[2010,1,23]]},"assertion":[{"value":"2010-01-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}