{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:43:18Z","timestamp":1750308198730,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2004,9,22]],"date-time":"2004-09-22T00:00:00Z","timestamp":1095811200000},"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":[[2004,9,22]]},"DOI":"10.1145\/1017472.1017485","type":"proceedings-article","created":{"date-parts":[[2004,10,7]],"date-time":"2004-10-07T17:39:48Z","timestamp":1097170788000},"page":"69-79","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Type-safe, self inspecting code"],"prefix":"10.1145","author":[{"given":"Arthur I.","family":"Baars","sequence":"first","affiliation":[{"name":"Utrecht University, Utrecht, The Netherlands"}]},{"given":"S. Doaitse","family":"Swierstra","sequence":"additional","affiliation":[{"name":"Utrecht University, Utrecht, The Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2004,9,22]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Glasgow haskell compiler. Available from: http:\/\/www.haskell.org\/ghc\/.]]  Glasgow haskell compiler. Available from: http:\/\/www.haskell.org\/ghc\/.]]"},{"key":"e_1_3_2_1_2_1","unstructured":"Happy the parser generator for haskell. Available from: http:\/\/www.haskell.org\/happy\/.]]  Happy the parser generator for haskell. Available from: http:\/\/www.haskell.org\/happy\/.]]"},{"key":"e_1_3_2_1_3_1","unstructured":"A. Baars and D. Swierstra. Syntax macros. http:\/\/www.cs.uu.nl\/groups\/ST\/Center\/SyntaxMacros.]]  A. Baars and D. Swierstra. Syntax macros. http:\/\/www.cs.uu.nl\/groups\/ST\/Center\/SyntaxMacros.]]"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581494"},{"key":"e_1_3_2_1_6_1","volume-title":"First-Class Phantom Types. Technical report TR2003-1901","author":"Cheney J.","year":"2003","unstructured":"J. Cheney and R. Hinze . First-Class Phantom Types. Technical report TR2003-1901 , Cornell University , 2003 . http:\/\/techreports.library.cornell.edu:8081\/Dienst\/UI\/1.0\/Display\/cul.c%is\/TR2003-1901.]] J. Cheney and R. Hinze. First-Class Phantom Types. Technical report TR2003-1901, Cornell University, 2003. http:\/\/techreports.library.cornell.edu:8081\/Dienst\/UI\/1.0\/Display\/cul.c%is\/TR2003-1901.]]"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1053468.1053473"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/357766.351266"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/646066.756689"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581693"},{"key":"e_1_3_2_1_11_1","first-page":"1","volume-title":"Advanced Functional Programming, number 925 in LNCS","author":"Fokker J.","year":"1995","unstructured":"J. Fokker . Functional parsers . In J. Jeuring and H. Meijer, editors, Advanced Functional Programming, number 925 in LNCS , pages 1 -- 52 , 1995 .]] J. Fokker. Functional parsers. In J. Jeuring and H. Meijer, editors, Advanced Functional Programming, number 925 in LNCS, pages 1--52, 1995.]]"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/647698.734154"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(99)00023-4"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944727"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796898003050"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/365876.365879"},{"key":"e_1_3_2_1_17_1","unstructured":"D. Leijen. Parsec a fast combinator parser. http:\/\/www.cs.uu.nl\/~daan\/parsec.html Nov. 2001.]]  D. Leijen. Parsec a fast combinator parser. http:\/\/www.cs.uu.nl\/~daan\/parsec.html Nov. 2001.]]"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/331963.331977"},{"key":"e_1_3_2_1_19_1","volume-title":"Meta-programming with typed object-language representations. In accepted to: GPCE'04","author":"Pasalic E.","year":"2004","unstructured":"E. Pasalic and N. Linger . Meta-programming with typed object-language representations. In accepted to: GPCE'04 , 2004 .]] E. Pasalic and N. Linger. Meta-programming with typed object-language representations. In accepted to: GPCE'04, 2004.]]"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/507635.507664"},{"key":"e_1_3_2_1_21_1","volume-title":"Haskell 98 Language and Libraries","author":"Jones S. Peyton","year":"2003","unstructured":"S. Peyton Jones . Haskell 98 Language and Libraries . Cambridge University Press , April 2003 . http:\/\/www.haskell.org\/report.]] S. Peyton Jones. Haskell 98 Language and Libraries. Cambridge University Press, April 2003. http:\/\/www.haskell.org\/report.]]"},{"key":"e_1_3_2_1_22_1","unstructured":"S. L. Peyton Jones. Haskell pretty-printing library. http:\/\/www.haskell.org\/libraries\/#prettyprinting.]]  S. L. Peyton Jones. Haskell pretty-printing library. http:\/\/www.haskell.org\/libraries\/#prettyprinting.]]"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581691"},{"key":"e_1_3_2_1_24_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/3-540-61628-4_7","volume-title":"Advanced Functional Programming, Second International Spring School","author":"Swierstra D.","year":"1996","unstructured":"D. Swierstra and L. Duponcheel . Deterministic, error correcting combinator parsers . In Advanced Functional Programming, Second International Spring School , volume 1129 of LNCS , pages 184 -- 207 . Springer-Verlag , 1996 .]] D. Swierstra and L. Duponcheel. Deterministic, error correcting combinator parsers. In Advanced Functional Programming, Second International Spring School, volume 1129 of LNCS, pages 184--207. Springer-Verlag, 1996.]]"},{"key":"e_1_3_2_1_25_1","volume-title":"Electronic Notes in Theoretical Computer Science","author":"Swierstra S. D.","year":"2001","unstructured":"S. D. Swierstra . Combinator parsers: From toys to tools . In G. Hutton, editor, Electronic Notes in Theoretical Computer Science , volume 41 . Elsevier Science Publishers , 2001 .]] S. D. Swierstra. Combinator parsers: From toys to tools. In G. Hutton, editor, Electronic Notes in Theoretical Computer Science, volume 41. Elsevier Science Publishers, 2001.]]"},{"key":"e_1_3_2_1_26_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1007\/10704973_4","volume-title":"Advanced Functional Programming, Third International School, AFP'98","author":"Swierstra S. D.","year":"1999","unstructured":"S. D. Swierstra , P. Azero Alocer , and J. Saraiava . Designing and implementing combinator languages . In S. D. Swierstra, P. Henriques, and J. Oliveira, editors, Advanced Functional Programming, Third International School, AFP'98 , volume 1608 of LNCS , pages 150 -- 206 . Springer-Verlag , 1999 .]] S. D. Swierstra, P. Azero Alocer, and J. Saraiava. Designing and implementing combinator languages. In S. D. Swierstra, P. Henriques, and J. Oliveira, editors, Advanced Functional Programming, Third International School, AFP'98, volume 1608 of LNCS, pages 150--206. Springer-Verlag, 1999.]]"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/645772.667946"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/5280.5288"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99404"},{"key":"e_1_3_2_1_30_1","first-page":"223","volume-title":"J. Gibbons and O. d","author":"Wadler P.","year":"2003","unstructured":"P. Wadler . A prettier printer. In J. Gibbons and O. d . Moor, editors, The fun of programming, pages 223 -- 244 . Palgrave Macmillan , 2003 .]] P. Wadler. A prettier printer. In J. Gibbons and O. d. Moor, editors, The fun of programming, pages 223--244. Palgrave Macmillan, 2003.]]"}],"event":{"name":"HW04: Haskell Workshop 2004","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Snowbird Utah USA","acronym":"HW04"},"container-title":["Proceedings of the 2004 ACM SIGPLAN workshop on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1017472.1017485","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1017472.1017485","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:24:59Z","timestamp":1750263899000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1017472.1017485"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,9,22]]},"references-count":29,"alternative-id":["10.1145\/1017472.1017485","10.1145\/1017472"],"URL":"https:\/\/doi.org\/10.1145\/1017472.1017485","relation":{},"subject":[],"published":{"date-parts":[[2004,9,22]]},"assertion":[{"value":"2004-09-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}