{"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":1750308198797,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":37,"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.1017478","type":"proceedings-article","created":{"date-parts":[[2004,10,7]],"date-time":"2004-10-07T17:39:48Z","timestamp":1097170788000},"page":"10-21","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Plugging Haskell in"],"prefix":"10.1145","author":[{"given":"Andr\u00e9","family":"Pang","sequence":"first","affiliation":[{"name":"CSIRO, Australia"}]},{"given":"Don","family":"Stewart","sequence":"additional","affiliation":[{"name":"University of New South Wales"}]},{"given":"Sean","family":"Seefried","sequence":"additional","affiliation":[{"name":"University of New South Wales"}]},{"given":"Manuel M. T.","family":"Chakravarty","sequence":"additional","affiliation":[{"name":"University of New South Wales"}]}],"member":"320","published-online":{"date-parts":[[2004,9,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/103135.103138"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679680000126X"},{"key":"e_1_3_2_1_3_1","volume-title":"A Primitive Foreign Function Interface","author":"Chakravarty M. M. T.","year":"2004","unstructured":"M. M. T. Chakravarty A Primitive Foreign Function Interface , 2004 . http:\/\/www.cse.unsw.edu.au\/~chak\/haskell\/ffi\/.]] M. M. T. Chakravarty et al. A Primitive Foreign Function Interface, 2004. http:\/\/www.cse.unsw.edu.au\/~chak\/haskell\/ffi\/.]]"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581698"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00201-8"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/871895.871897"},{"key":"e_1_3_2_1_7_1","volume-title":"Dynamic types have existential type. Technical report","author":"Duggan D.","year":"1994","unstructured":"D. Duggan . Dynamic types have existential type. Technical report , University of Waterloo , December 1994 .]] D. Duggan. Dynamic types have existential type. Technical report, University of Waterloo, December 1994.]]"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/314602.314604"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/586088.586093"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings Bridges 2001","author":"Elliott C.","year":"2001","unstructured":"C. Elliott . Functional Image Synthesis . In Proceedings Bridges 2001 , Mathematical Connections in Art, Music, and Science , 2001 .]] C. Elliott. Functional Image Synthesis. In Proceedings Bridges 2001, Mathematical Connections in Art, Music, and Science, 2001.]]"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796802004574"},{"key":"e_1_3_2_1_12_1","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"Gamma E.","year":"1995","unstructured":"E. Gamma , R. Helm , R. Johnson , and J. Vlissides . Design Patterns: Elements of Reusable Object-Oriented Software . Addison-Wesley , 1995 .]] E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.]]"},{"key":"e_1_3_2_1_13_1","volume-title":"Dynamic MLwithout dynamic types. Technical report","author":"Gilmore S.","year":"1997","unstructured":"S. Gilmore , D. Kirli , and C. Walton . Dynamic MLwithout dynamic types. Technical report , The University of Edinburgh , 1997 .]] S. Gilmore, D. Kirli, and C. Walton. Dynamic MLwithout dynamic types. Technical report, The University of Edinburgh, 1997.]]"},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of the 6th International Conference on Applied Informatics","author":"Heged\u00fcs H.","year":"2004","unstructured":"H. Heged\u00fcs and Z. Horv\u00e1th . Distributed computing based on clean dynamics . In Proceedings of the 6th International Conference on Applied Informatics , January 2004 .]] H. Heged\u00fcs and Z. Horv\u00e1th. Distributed computing based on clean dynamics. In Proceedings of the 6th International Conference on Applied Informatics, January 2004.]]"},{"key":"e_1_3_2_1_15_1","first-page":"147","volume-title":"Proceedings of the 3rd Workshop on Types in Compilation","author":"Hicks M.","year":"2000","unstructured":"M. Hicks , S. Weirich , and K. Crary . Safe and flexible dynamic linking of native code . In Proceedings of the 3rd Workshop on Types in Compilation , pages 147 -- 176 , 2000 .]] M. Hicks, S. Weirich, and K. Crary. Safe and flexible dynamic linking of native code. In Proceedings of the 3rd Workshop on Types in Compilation, pages 147--176, 2000.]]"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/242224.242477"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800001805"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80451-7"},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the Latin American Informatic Conference (PANEL)","author":"L\u00e4ufer K.","year":"1994","unstructured":"K. L\u00e4ufer . Combining type classes and existential types . In Proceedings of the Latin American Informatic Conference (PANEL) , Sept. 1994 .]] K. L\u00e4ufer. Combining type classes and existential types. In Proceedings of the Latin American Informatic Conference (PANEL), Sept. 1994.]]"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800001817"},{"key":"e_1_3_2_1_21_1","unstructured":"X. Leroy D. Doligez J. Garrigue D. Rmy and J. Vouillon. The Objective Caml system 3.08. http:\/\/ropas.kaist.ac.kr\/caml\/ocaml\/ July 2004.]]  X. Leroy D. Doligez J. Garrigue D. Rmy and J. Vouillon. The Objective Caml system 3.08. http:\/\/ropas.kaist.ac.kr\/caml\/ocaml\/ July 2004.]]"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/127960.128052"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/286936.286945"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944720"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.660187"},{"key":"e_1_3_2_1_26_1","first-page":"233","volume-title":"Implementation of Functional Languages","author":"Pil M.","year":"1996","unstructured":"M. Pil . First class file I\/O . In Implementation of Functional Languages , pages 233 -- 246 , 1996 .]] M. Pil. First class file I\/O. In Implementation of Functional Languages, pages 233--246, 1996.]]"},{"key":"e_1_3_2_1_27_1","first-page":"169","volume-title":"Implementation of Functional Languages","author":"Pil M.","year":"1998","unstructured":"M. Pil . Dynamic types and type dependent functions . In Implementation of Functional Languages , pages 169 -- 185 , 1998 .]] M. Pil. Dynamic types and type dependent functions. In Implementation of Functional Languages, pages 169--185, 1998.]]"},{"key":"e_1_3_2_1_28_1","volume-title":"Concurrent clean language report version 2.1","author":"Plasmeijer R.","year":"2002","unstructured":"R. Plasmeijer and M. van Eekelen . Concurrent clean language report version 2.1 . November 2002 .]] R. Plasmeijer and M. van Eekelen. Concurrent clean language report version 2.1. November 2002.]]"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30175-2_10"},{"key":"e_1_3_2_1_30_1","unstructured":"J. Seward S. Marlow A. Gill S. Finne and S. P. Jones. Architecture of the Haskell Execution Platform (HEP). http:\/\/www.haskell.org\/ghc\/docs\/papers\/ 1999.]]  J. Seward S. Marlow A. Gill S. Finne and S. P. Jones. Architecture of the Haskell Execution Platform (HEP). http:\/\/www.haskell.org\/ghc\/docs\/papers\/ 1999.]]"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268970"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/800209.806466"},{"key":"e_1_3_2_1_33_1","unstructured":"The GHC Team. The Glasgow Haskell Compiler (GHC). http:\/\/haskell.org\/ghc.]]  The GHC Team. The Glasgow Haskell Compiler (GHC). http:\/\/haskell.org\/ghc.]]"},{"key":"e_1_3_2_1_34_1","first-page":"363","volume-title":"Draft Proceedings of the 15th International Workshop on Implementation of Functional Languages","author":"van Weelden A.","year":"2003","unstructured":"A. van Weelden and R. Plasmeijer . A type safe interactive interpreter for a functional language using compiled code (draft) . In Draft Proceedings of the 15th International Workshop on Implementation of Functional Languages , pages 363 -- 378 , 2003 .]] A. van Weelden and R. Plasmeijer. A type safe interactive interpreter for a functional language using compiled code (draft). In Draft Proceedings of the 15th International Workshop on Implementation of Functional Languages, pages 363--378, 2003.]]"},{"key":"e_1_3_2_1_35_1","first-page":"339","volume-title":"Proceedings of the 12th International Workshop on Implementation of Functional Languages","author":"Wallace M.","year":"2000","unstructured":"M. Wallace . hi - hmake interactive - compiler or interpreter ? In Proceedings of the 12th International Workshop on Implementation of Functional Languages , pages 339 -- 345 , 2000 .]] M. Wallace. hi - hmake interactive - compiler or interpreter? In Proceedings of the 12th International Workshop on Implementation of Functional Languages, pages 339--345, 2000.]]"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/317636.317794"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351246"}],"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.1017478","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1017472.1017478","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.1017478"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,9,22]]},"references-count":37,"alternative-id":["10.1145\/1017472.1017478","10.1145\/1017472"],"URL":"https:\/\/doi.org\/10.1145\/1017472.1017478","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"}}]}}