{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:14Z","timestamp":1772163974207,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,9,16]]},"DOI":"10.1145\/1159803.1159813","type":"proceedings-article","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T18:04:00Z","timestamp":1161194640000},"page":"74-86","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Recursive modules for programming"],"prefix":"10.1145","author":[{"given":"Keiko","family":"Nakata","sequence":"first","affiliation":[{"name":"Kyoto University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacques","family":"Garrigue","sequence":"additional","affiliation":[{"name":"Nagoya University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,9,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796803004775"},{"key":"e_1_3_2_1_2_1","volume-title":"Proc. REX Workshop","volume":"489","author":"Cook W.R.","year":"1990","unstructured":"W.R. Cook . Object-Oriented Programming Versus Abstract Data Types . In Proc. REX Workshop , volume 489 of Lecture Notes in Computer Science. Springer-Verlag , 1990 . W.R. Cook. Object-Oriented Programming Versus Abstract Data Types. In Proc. REX Workshop, volume 489 of Lecture Notes in Computer Science. Springer-Verlag, 1990."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/301618.301641"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964026"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086372"},{"key":"e_1_3_2_1_7_1","volume-title":"In Proc. ML workshop'98","author":"Garrigue J.","year":"1998","unstructured":"J. Garrigue . Programming with polymorphic variants . In In Proc. ML workshop'98 , 1998 . J. Garrigue. Programming with polymorphic variants. In In Proc. ML workshop'98, 1998."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11924661_3"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.176927"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96744"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/645396.651960"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.176926"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199476"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800003683"},{"key":"e_1_3_2_1_15_1","unstructured":"X. Leroy D. Doligez J. Garrigue D. R\u00e9my and J. Vouillon. The Objective Caml system release 3.09. Software and documentation available on the Web http:\/\/caml.inria.fr\/ 2005.  X. Leroy D. Doligez J. Garrigue D. R\u00e9my and J. Vouillon. The Objective Caml system release 3.09. Software and documentation available on the Web http:\/\/caml.inria.fr\/ 2005."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/800055.802036"},{"key":"e_1_3_2_1_17_1","volume-title":"Communicating and Mobile Systems: the pi-Calculus","author":"Milner R.","year":"1999","unstructured":"R. Milner . Communicating and Mobile Systems: the pi-Calculus . Cambridge University Press , 1999 . R. Milner. Communicating and Mobile Systems: the pi-Calculus. Cambridge University Press, 1999."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/549659"},{"key":"e_1_3_2_1_21_1","unstructured":"D. R\u00e9my and J. Garrigue. On the expression problem. http:\/\/pauillac.inria.fr\/~remy\/work\/expr\/ 2004.  D. R\u00e9my and J. Garrigue. On the expression problem. http:\/\/pauillac.inria.fr\/~remy\/work\/expr\/ 2004."},{"key":"e_1_3_2_1_22_1","volume-title":"Moscow ML","author":"Romanenko S.","year":"2004","unstructured":"S. Romanenko , C. Russo , N. Kokholm , and P. Sestoft . Moscow ML , 2004 . Software and documentation available on the Web, http:\/\/www.dina.dk\/sestoft\/mosml.html. S. Romanenko, C. Russo, N. Kokholm, and P. Sestoft. Moscow ML, 2004. Software and documentation available on the Web, http:\/\/www.dina.dk\/sestoft\/mosml.html."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/507635.507644"},{"key":"e_1_3_2_1_24_1","volume-title":"Advanced Topics in Types and Programming Languages","author":"Stone C.","year":"2004","unstructured":"C. Stone . Type definitions . In Advanced Topics in Types and Programming Languages , chapter 9. The MIT Press , 2004 . C. Stone. Type definitions. In Advanced Topics in Types and Programming Languages, chapter 9. The MIT Press, 2004."},{"key":"e_1_3_2_1_25_1","volume-title":"The Expression Problem Revisited. In European Conference on Object-Oriented Programming:LN CS","volume":"3086","author":"Torgersen M.","year":"2004","unstructured":"M. Torgersen . The Expression Problem Revisited. In European Conference on Object-Oriented Programming:LN CS , volume 3086 . Springer-Verlag , 2004 . M. Torgersen. The Expression Problem Revisited. In European Conference on Object-Oriented Programming:LN CS, volume 3086. Springer-Verlag, 2004."},{"key":"e_1_3_2_1_26_1","volume-title":"The expression problem. Java Genericity maling list","author":"Wadler P.","year":"1998","unstructured":"P. Wadler . The expression problem. Java Genericity maling list , 1998 . http:\/\/www.cse.ohio-state.edu\/~gb\/cis888. 07g\/java-genericity\/20. P. Wadler. The expression problem. Java Genericity maling list, 1998. http:\/\/www.cse.ohio-state.edu\/~gb\/cis888. 07g\/java-genericity\/20."},{"key":"e_1_3_2_1_27_1","first-page":"12","article-title":"Independently Extensible Solutions to the Expression Problem","author":"Zenger M.","year":"2005","unstructured":"M. Zenger and M. Odersky . Independently Extensible Solutions to the Expression Problem . In Proc. FOOL 12 , 2005 . M. Zenger and M. Odersky. Independently Extensible Solutions to the Expression Problem. In Proc. FOOL 12, 2005.","journal-title":"Proc. FOOL"}],"event":{"name":"ICFP06: ACM SIGPLAN International Conference on Functional Programming","location":"Portland Oregon USA","acronym":"ICFP06","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1159803.1159813","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T16:03:43Z","timestamp":1693843423000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1159803.1159813"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,9,16]]},"references-count":24,"alternative-id":["10.1145\/1159803.1159813","10.1145\/1159803"],"URL":"https:\/\/doi.org\/10.1145\/1159803.1159813","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1160074.1159813","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2006,9,16]]},"assertion":[{"value":"2006-09-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}