{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:32:24Z","timestamp":1750307544595,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,9,3]],"date-time":"2009-09-03T00:00:00Z","timestamp":1251936000000},"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":[[2009,9,3]]},"DOI":"10.1145\/1596638.1596650","type":"proceedings-article","created":{"date-parts":[[2009,9,8]],"date-time":"2009-09-08T12:53:09Z","timestamp":1252414389000},"page":"93-104","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":31,"title":["The architecture of the Utrecht Haskell compiler"],"prefix":"10.1145","author":[{"given":"Atze","family":"Dijkstra","sequence":"first","affiliation":[{"name":"Utrecht University, Utrecht, Netherlands"}]},{"given":"Jeroen","family":"Fokker","sequence":"additional","affiliation":[{"name":"Utrecht University, Utrecht, Netherlands"}]},{"given":"S. Doaitse","family":"Swierstra","sequence":"additional","affiliation":[{"name":"Utrecht University, Utrecht, Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2009,9,3]]},"reference":[{"unstructured":"L. Augustsson. The HBC compiler. http:\/\/www.cs.chalmers.se\/~augustss\/hbc\/hbc.html 1998.  L. Augustsson. The HBC compiler. http:\/\/www.cs.chalmers.se\/~augustss\/hbc\/hbc.html 1998.","key":"e_1_3_2_2_1_1"},{"doi-asserted-by":"crossref","unstructured":"R. Bird and O. de Moor.The algebra of programming.Prentice Hall 1996.   R. Bird and O. de Moor.The algebra of programming.Prentice Hall 1996.","key":"e_1_3_2_2_2_1","DOI":"10.1007\/978-3-642-61455-2_12"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_3_1","DOI":"10.1007\/BF00264249"},{"unstructured":"H. Boehm. A garbage collector for C and C++. http:\/\/www.hpl.hp.com\/personal\/Hans_Boehm\/gc\/ 2006.  H. Boehm. A garbage collector for C and C++. http:\/\/www.hpl.hp.com\/personal\/Hans_Boehm\/gc\/ 2006.","key":"e_1_3_2_2_4_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_5_1","DOI":"10.1002\/spe.4380180902"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_6_1","DOI":"10.1145\/1596638.1596640"},{"key":"e_1_3_2_2_8_1","volume-title":"Selected papers from the 8th International Workshop on Implementation of Functional Languages","author":"Boquist U.","year":"1996","unstructured":"U. Boquist and T. Johnsson . The GRIN Project: A Highly Optimising Back End For Lazy Functional Languages . In Selected papers from the 8th International Workshop on Implementation of Functional Languages , 1996 . U. Boquist and T. Johnsson.The GRIN Project: A Highly Optimising Back End For Lazy Functional Languages. In Selected papers from the 8th International Workshop on Implementation of Functional Languages, 1996."},{"key":"e_1_3_2_2_9_1","volume-title":"Department of Information and Computing Sciences","author":"Dijkstra A.","year":"2005","unstructured":"A. Dijkstra . Stepping through Haskell.PhD thesis, Utrecht University , Department of Information and Computing Sciences , 2005 . A. Dijkstra.Stepping through Haskell.PhD thesis, Utrecht University, Department of Information and Computing Sciences, 2005."},{"key":"e_1_3_2_2_10_1","volume-title":"Implementation of Functional Languages","author":"Dijkstra A.","year":"2007","unstructured":"A. Dijkstra , J. Fokker , and S. D. Swierstra . The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity . In Implementation of Functional Languages , 2007 . A. Dijkstra, J. Fokker, and S. D. Swierstra. The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity. In Implementation of Functional Languages, 2007."},{"unstructured":"A. Dijkstra J. Fokker and S. D. Swierstra.UHC Utrecht Haskell Compiler. http:\/\/www.cs.uu.nl\/wiki\/UHC 2009.  A. Dijkstra J. Fokker and S. D. Swierstra.UHC Utrecht Haskell Compiler. http:\/\/www.cs.uu.nl\/wiki\/UHC 2009.","key":"e_1_3_2_2_11_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_12_1","DOI":"10.1007\/11737414_4"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_13_1","DOI":"10.1017\/S0956796802004380"},{"key":"e_1_3_2_2_14_1","author":"Fokker J.","year":"2008","unstructured":"J. Fokker and S. D. Swierstra . Abstract interpretation of functional programs using an attribute grammar system. In A. Johnstone and J. Vinju, editors, Language Descriptions, Tools and Applications (LDTA08) , 2008 . J. Fokker and S. D. Swierstra. Abstract interpretation of functional programs using an attribute grammar system. In A. Johnstone and J. Vinju, editors, Language Descriptions, Tools and Applications (LDTA08), 2008.","journal-title":"In A. Johnstone and J. Vinju, editors, Language Descriptions, Tools and Applications (LDTA08)"},{"unstructured":"GHC Team. The New GHC\/Hugs Runtime System. http:\/\/citeseer.ist.psu.edu\/marlow98new.html 1998.  GHC Team. The New GHC\/Hugs Runtime System. http:\/\/citeseer.ist.psu.edu\/marlow98new.html 1998.","key":"e_1_3_2_2_15_1"},{"key":"e_1_3_2_2_16_1","volume-title":"http:\/\/hackage.haskell.org\/trac\/haskell--prime\/","author":"Haskell' Committee","year":"2009","unstructured":"Haskell' Committee . Haskell Prime . http:\/\/hackage.haskell.org\/trac\/haskell--prime\/ , 2009 . Haskell' Committee. Haskell Prime. http:\/\/hackage.haskell.org\/trac\/haskell--prime\/, 2009."},{"unstructured":"B. Heeren A. v. IJzendoorn and J. Hage.Helium for learning Haskell. http:\/\/www.cs.uu.nl\/helium\/ 2005.  B. Heeren A. v. IJzendoorn and J. Hage.Helium for learning Haskell. http:\/\/www.cs.uu.nl\/helium\/ 2005.","key":"e_1_3_2_2_17_1"},{"unstructured":"D. Himmelstrup S. Bronson and A. Seipp. LHC Haskell Compiler. http:\/\/lhc.seize.it\/ 2009.  D. Himmelstrup S. Bronson and A. Seipp. LHC Haskell Compiler. http:\/\/lhc.seize.it\/ 2009.","key":"e_1_3_2_2_18_1"},{"unstructured":"ISO. Common language infrastructure (ISO\/EIC standard 23271). ECMA 2006.  ISO. Common language infrastructure (ISO\/EIC standard 23271). ECMA 2006.","key":"e_1_3_2_2_19_1"},{"key":"e_1_3_2_2_20_1","volume-title":"Jones.Typing Haskell in Haskell.In Haskell Workshop","author":"M.","year":"1999","unstructured":"M. P. Jones.Typing Haskell in Haskell.In Haskell Workshop , 1999 . M. P. Jones.Typing Haskell in Haskell.In Haskell Workshop, 1999."},{"unstructured":"M. P. Jones.Hugs 98.http:\/\/www.haskell.org\/hugs\/ 2003.  M. P. Jones.Hugs 98.http:\/\/www.haskell.org\/hugs\/ 2003.","key":"e_1_3_2_2_21_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_22_1","DOI":"10.1007\/BF01692511"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_23_1","DOI":"10.1093\/comjnl\/27.2.97"},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_24_1","DOI":"10.1145\/604174.604179"},{"key":"e_1_3_2_2_25_1","volume-title":"Palo Alto","author":"Lattner C.","year":"2004","unstructured":"C. Lattner and V. Adve . LLVM: A Compilation Framework for Lifelong Program Analysis&Transformation.In Proceedings of the 2004 International Symposium on Code Generation and Optimization (CGO'04) , Palo Alto , California , Mar 2004 . C. Lattner and V. Adve. LLVM: A Compilation Framework for Lifelong Program Analysis&Transformation.In Proceedings of the 2004 International Symposium on Code Generation and Optimization (CGO'04), Palo Alto, California, Mar 2004."},{"unstructured":"S. Marlow and S. Peyton Jones. The Glasgow Haskell Compiler. http:\/\/www.haskell.org\/ghc\/ 2004.  S. Marlow and S. Peyton Jones. The Glasgow Haskell Compiler. http:\/\/www.haskell.org\/ghc\/ 2004.","key":"e_1_3_2_2_26_1"},{"key":"e_1_3_2_2_27_1","volume-title":"http:\/\/repetae.net\/computer\/jhc\/","author":"Meacham J.","year":"2009","unstructured":"J. Meacham . Jhc Haskell Compiler . http:\/\/repetae.net\/computer\/jhc\/ , 2009 . J. Meacham. Jhc Haskell Compiler. http:\/\/repetae.net\/computer\/jhc\/, 2009."},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_28_1","DOI":"10.5555\/645391.651439"},{"key":"e_1_3_2_2_29_1","volume-title":"Engineering theories of software construction","author":"Jones S. Peyton","year":"2002","unstructured":"S. Peyton Jones . Tackling the Awkward Squad : monadic input\/output, concurrency, exceptions, and foreign-language calls in Haskell . In Engineering theories of software construction , Marktoberdorf Summer School , 2002 . S. Peyton Jones.Tackling the Awkward Squad: monadic input\/output, concurrency, exceptions, and foreign-language calls in Haskell. In Engineering theories of software construction, Marktoberdorf Summer School, 2002."},{"key":"e_1_3_2_2_30_1","volume-title":"The Revised Report","author":"Jones S. Peyton","year":"2003","unstructured":"S. Peyton Jones . Haskell 98, Language and Libraries , The Revised Report . Cambridge Univ. Press , 2003 . S. Peyton Jones. Haskell 98, Language and Libraries, The Revised Report.Cambridge Univ. Press, 2003."},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_31_1","DOI":"10.1017\/S0956796802004331"},{"key":"e_1_3_2_2_32_1","volume-title":"Jones and E. Meijer.Henk: A Typed Intermediate Language. In Workshop on Types in Compilation","author":"Peyton S.","year":"1997","unstructured":"S. Peyton Jones and E. Meijer.Henk: A Typed Intermediate Language. In Workshop on Types in Compilation , 1997 . S. Peyton Jones and E. Meijer.Henk: A Typed Intermediate Language. In Workshop on Types in Compilation, 1997."},{"unstructured":"T. Shackell N. Mitchell A. Wilkinson etal YHC York Haskell Compiler. http:\/\/haskell.org\/haskellwiki\/Yhc 2009.  T. Shackell N. Mitchell A. Wilkinson et al. YHC York Haskell Compiler. http:\/\/haskell.org\/haskellwiki\/Yhc 2009.","key":"e_1_3_2_2_33_1"},{"key":"e_1_3_2_2_34_1","first-page":"150","volume-title":"3rd Advanced Functional Programming, number 1608 in LNCS","author":"Swierstra S. D.","year":"1999","unstructured":"S. D. Swierstra , P. Azero Alocer , and J. Saraiva . Designing and Implementing Combinator Languages . In 3rd Advanced Functional Programming, number 1608 in LNCS , pages 150 -- 206 . Springer-Verlag , 1999 . S. D. Swierstra, P. Azero Alocer, and J. Saraiva. Designing and Implementing Combinator Languages. In 3rd Advanced Functional Programming, number 1608 in LNCS, pages 150--206. Springer-Verlag, 1999."},{"doi-asserted-by":"publisher","key":"e_1_3_2_2_35_1","DOI":"10.1145\/1596550.1596586"},{"key":"e_1_3_2_2_36_1","first-page":"357","volume-title":"Rewriting Techniques and Applications (RTA'01), number 2051 in LNCS","author":"Visser E.","year":"2001","unstructured":"E. Visser . Stratego: A language for program transformation based on rewriting strategies. System description of Stratego 0.5 . In A. Middeldorp, editor, Rewriting Techniques and Applications (RTA'01), number 2051 in LNCS , pages 357 -- 361 . Springer-Verlag , 2001 . E. Visser. Stratego: A language for program transformation based on rewriting strategies. System description of Stratego 0.5. In A. Middeldorp, editor, Rewriting Techniques and Applications (RTA'01), number 2051 in LNCS, pages 357--361. Springer-Verlag, 2001."},{"key":"e_1_3_2_2_37_1","volume-title":"http:\/\/www.program--transformation.org\/Stratego\/WebHome","author":"Visser E.","year":"2005","unstructured":"E. Visser . Stratego Home Page . http:\/\/www.program--transformation.org\/Stratego\/WebHome , 2005 . E. Visser. Stratego Home Page. http:\/\/www.program--transformation.org\/Stratego\/WebHome, 2005."},{"unstructured":"York Functional Programming Group. NHC98 Haskell Compiler. http:\/\/haskell.org\/nhc98\/ 2007.  York Functional Programming Group. NHC98 Haskell Compiler. http:\/\/haskell.org\/nhc98\/ 2007.","key":"e_1_3_2_2_38_1"}],"event":{"sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"acronym":"ICFP '09","name":"ICFP '09: ACM SIGPLAN International Conference on Functional Programming","location":"Edinburgh Scotland"},"container-title":["Proceedings of the 2nd ACM SIGPLAN symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1596638.1596650","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1596638.1596650","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:23:29Z","timestamp":1750249409000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1596638.1596650"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9,3]]},"references-count":37,"alternative-id":["10.1145\/1596638.1596650","10.1145\/1596638"],"URL":"https:\/\/doi.org\/10.1145\/1596638.1596650","relation":{},"subject":[],"published":{"date-parts":[[2009,9,3]]},"assertion":[{"value":"2009-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}