{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T02:46:15Z","timestamp":1767926775914,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":35,"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.1017488","type":"proceedings-article","created":{"date-parts":[[2004,10,7]],"date-time":"2004-10-07T17:39:48Z","timestamp":1097170788000},"page":"96-107","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":119,"title":["Strongly typed heterogeneous collections"],"prefix":"10.1145","author":[{"given":"Oleg","family":"Kiselyov","sequence":"first","affiliation":[{"name":"FNMOC, Monterey, CA"}]},{"given":"Ralf","family":"L\u00e4mmel","sequence":"additional","affiliation":[{"name":"VU & CWI, Amsterdam"}]},{"given":"Keean","family":"Schupke","sequence":"additional","affiliation":[{"name":"Imperial College, London"}]}],"member":"320","published-online":{"date-parts":[[2004,9,22]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"This paper's web site http:\/\/www.cwi.nl\/~ralf\/HList\/ 2004. This site provides an extended paper version with extra appendicies that could not be included into the Haskell workshop paper. This site also provides a source code distribution for the GHC and Hugs implementations of Haskell.]]  This paper's web site http:\/\/www.cwi.nl\/~ralf\/HList\/ 2004. This site provides an extended paper version with extra appendicies that could not be included into the Haskell workshop paper. This site also provides a source code distribution for the GHC and Hugs implementations of Haskell.]]"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75296"},{"key":"e_1_3_2_1_3_1","first-page":"92","volume-title":"Proceedings of the 1992 ACM Workshop on ML and its Applications","author":"Abadi M.","year":"1992","unstructured":"M. Abadi , L. Cardelli , B. Pierce , and D. Remy . Dynamic typing in polymorphic languages . In Proceedings of the 1992 ACM Workshop on ML and its Applications , pages 92 -- 103 , San Francisco , June 1992 .]] M. Abadi, L. Cardelli, B. Pierce, and D. Remy. Dynamic typing in polymorphic languages. In Proceedings of the 1992 ACM Workshop on ML and its Applications, pages 92--103, San Francisco, June 1992.]]"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581494"},{"key":"e_1_3_2_1_5_1","first-page":"282","volume-title":"Proceedings: 4th International Conference on Computer Languages","author":"Bracha G.","year":"1992","unstructured":"G. Bracha and G. Lindstrom . Modularity Meets Inheritance . In Proceedings: 4th International Conference on Computer Languages , pages 282 -- 290 . IEEE Computer Society Press , 1992 .]] G. Bracha and G. Lindstrom. Modularity Meets Inheritance. In Proceedings: 4th International Conference on Computer Languages, pages 282--290. IEEE Computer Society Press, 1992.]]"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/77606.214515"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/141471.141536"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581698"},{"key":"e_1_3_2_1_9_1","unstructured":"G.\n      Duck S.\n      Peyton Jones P.\n      Stuckey and \n      M.\n      Sulzmann\n  . \n  Sound and Decidable Type Inference for Functional Dependencies\n  . In D. Schmidt editor Proceedings 13th European Symposium on Programming ESOP \n  2004 Barcelona Spain March 29 - April 2 2004 volume \n  2986\n   of \n  LNCS pages \n  49\n  --\n  63\n  . \n  Springer-Verlag 2004.]]  G. Duck S. Peyton Jones P. Stuckey and M. Sulzmann. Sound and Decidable Type Inference for Functional Dependencies. In D. Schmidt editor Proceedings 13th European Symposium on Programming ESOP 2004 Barcelona Spain March 29 - April 2 2004 volume 2986 of LNCS pages 49--63. Springer-Verlag 2004.]]"},{"key":"e_1_3_2_1_10_1","volume-title":"A Polymorphic Type System for Extensible Records and Variants. Technical report NOTTCS-TR-96-3","author":"Gaster B.","year":"1996","unstructured":"B. Gaster and M. Jones . A Polymorphic Type System for Extensible Records and Variants. Technical report NOTTCS-TR-96-3 , University of Nottingham , Department of Computer Science, Nov. 1996 .]] B. Gaster and M. Jones. A Polymorphic Type System for Extensible Records and Variants. Technical report NOTTCS-TR-96-3, University of Nottingham, Department of Computer Science, Nov. 1996.]]"},{"key":"e_1_3_2_1_11_1","volume-title":"The Future of Haskell discussion at the Haskell Workshop","author":"Nilsson H.","year":"2003","unstructured":"H. Nilsson . The Future of Haskell discussion at the Haskell Workshop , 2003 . http:\/\/www.mail-archive.com\/haskell\\@haskell.org\/msg13366.html.]] H. Nilsson. The Future of Haskell discussion at the Haskell Workshop, 2003. http:\/\/www.mail-archive.com\/haskell\\@haskell.org\/msg13366.html.]]"},{"key":"e_1_3_2_1_12_1","volume-title":"Joint Winter Meeting of the Departments of Science and Computer Engineering, Chalmers University of Technology and Goteborg University","author":"Hallgren T.","year":"2001","unstructured":"T. Hallgren . Fun with functional dependencies . In Joint Winter Meeting of the Departments of Science and Computer Engineering, Chalmers University of Technology and Goteborg University , Varberg, Sweden , Jan. 2001 , 2001. http:\/\/www.cs.chalmers.se\/~hallgren\/Papers\/wm01.html.]] T. Hallgren. Fun with functional dependencies. In Joint Winter Meeting of the Departments of Science and Computer Engineering, Chalmers University of Technology and Goteborg University, Varberg, Sweden, Jan. 2001, 2001. http:\/\/www.cs.chalmers.se\/~hallgren\/Papers\/wm01.html.]]"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199475"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.2001.1812"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/645389.651609"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224198"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/645394.651909"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/640136.604179"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/331960.331977"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796802004355"},{"key":"e_1_3_2_1_21_1","first-page":"101","volume-title":"Proc. 2001 ACM SIGPLAN Haskell Workshop","author":"Neubauer M.","year":"2001","unstructured":"M. Neubauer , P. Thiemann , M. Gasbichler , and M. Sperber . A Functional Notation for Functional Dependencies . In Proc. 2001 ACM SIGPLAN Haskell Workshop , Firenze, Italy , September 2001 , pages 101 -- 120 , 2001.]] M. Neubauer, P. Thiemann, M. Gasbichler, and M. Sperber. A Functional Notation for Functional Dependencies. In Proc. 2001 ACM SIGPLAN Haskell Workshop, Firenze, Italy, September 2001, pages 101--120, 2001.]]"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503294"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/218570.218572"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/317636.317781"},{"key":"e_1_3_2_1_25_1","volume-title":"Electronic Notes in Theoretical Computer Science","author":"Okasaki C.","year":"2001","unstructured":"C. Okasaki . An Overview of Edison . In G. Hutton, editor, Electronic Notes in Theoretical Computer Science , volume 41 . Elsevier , 2001 .]] C. Okasaki. An Overview of Edison. In G. Hutton, editor, Electronic Notes in Theoretical Computer Science, volume 41. Elsevier, 2001.]]"},{"key":"e_1_3_2_1_26_1","volume-title":"Adding Ord constraint to instance Monad Set?","author":"Peyton Jones S.","year":"2004","unstructured":"S. Peyton Jones . Adding Ord constraint to instance Monad Set? , 2004 . http:\/\/www.haskell.org\/pipermail\/haskell-cafe\/2004-March\/005998.html.]] S. Peyton Jones. Adding Ord constraint to instance Monad Set?, 2004. http:\/\/www.haskell.org\/pipermail\/haskell-cafe\/2004-March\/005998.html.]]"},{"key":"e_1_3_2_1_27_1","volume-title":"Haskell workshop","author":"Peyton Jones S.","year":"1997","unstructured":"S. Peyton Jones , M. Jones , and E. Meijer . Type classes: exploring the design space. In J. Launchbury, editor , Haskell workshop , Amsterdam , 1997 .]] S. Peyton Jones, M. Jones, and E. Meijer. Type classes: exploring the design space. In J. Launchbury, editor, Haskell workshop, Amsterdam, 1997.]]"},{"key":"e_1_3_2_1_28_1","volume-title":"A proposal for records in Haskell","author":"Peyton Jones S.","year":"2003","unstructured":"S. Peyton Jones and G. Morrisett . A proposal for records in Haskell , 24 Feb. 2003 . Online document: http:\/\/research.microsoft.com\/~simonpj\/Haskell\/records.html.]] S. Peyton Jones and G. Morrisett. A proposal for records in Haskell, 24 Feb. 2003. Online document: http:\/\/research.microsoft.com\/~simonpj\/Haskell\/records.html.]]"},{"key":"e_1_3_2_1_29_1","first-page":"67","volume-title":"Theoretical aspects of object-oriented programming: types, semantics, and language design","author":"Remy D.","year":"1994","unstructured":"D. Remy . Type inference for records in natural extension of ml. In Theoretical aspects of object-oriented programming: types, semantics, and language design , pages 67 -- 95 . MIT Press , 1994 .]] D. Remy. Type inference for records in natural extension of ml. In Theoretical aspects of object-oriented programming: types, semantics, and language design, pages 67--95. MIT Press, 1994.]]"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/360204.360230"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581495"},{"key":"e_1_3_2_1_32_1","volume-title":"Chameleon","author":"Sulzmann M.","year":"2004","unstructured":"M. Sulzmann Chameleon , 2004 . Web site http:\/\/www.comp.nus.edu.sg\/~sulzmann\/chameleon\/.]] M. Sulzmann et al. Chameleon, 2004. Web site http:\/\/www.comp.nus.edu.sg\/~sulzmann\/chameleon\/.]]"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351246"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292560"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289458"}],"event":{"name":"HW04: Haskell Workshop 2004","location":"Snowbird Utah USA","acronym":"HW04","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 2004 ACM SIGPLAN workshop on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1017472.1017488","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1017472.1017488","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.1017488"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,9,22]]},"references-count":35,"alternative-id":["10.1145\/1017472.1017488","10.1145\/1017472"],"URL":"https:\/\/doi.org\/10.1145\/1017472.1017488","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"}}]}}