{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:07Z","timestamp":1772163967173,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":30,"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.1159815","type":"proceedings-article","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T18:04:00Z","timestamp":1161194640000},"page":"87-98","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["From structures and functors to modules and units"],"prefix":"10.1145","author":[{"given":"Scott","family":"Owens","sequence":"first","affiliation":[{"name":"University of Utah"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew","family":"Flatt","sequence":"additional","affiliation":[{"name":"University of Utah"}],"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.1145\/1040305.1040308"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/646158.680010"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796801004257"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/325478.325518"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796803004775"},{"key":"e_1_3_2_1_6_1","unstructured":"H. Cejtin M. Fluet S. Jagannathan and S. Weeks. Formal specification of the ML basis system. http:\/\/mlton. org\/pages\/MLBasis\/attachments\/mlb-formal.pdf January 2005.]]  H. Cejtin M. Fluet S. Jagannathan and S. Weeks. Formal specification of the ML basis system. http:\/\/mlton. org\/pages\/MLBasis\/attachments\/mlb-formal.pdf January 2005.]]"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/301618.301641"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964026"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086372"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604151"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/232627.232654"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/277650.277730"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.176927"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086642.1086644"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/888251.888267"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24725-8_6"},{"key":"e_1_3_2_1_18_1","volume-title":"Haskell 98 Language and Libraries: The Revised Report","author":"Jones S.P.","year":"2003","unstructured":"S.P. Jones , editor. Haskell 98 Language and Libraries: The Revised Report . Cambridge University Press , 2003 .]] S.P. Jones, editor. Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, 2003.]]"},{"key":"e_1_3_2_1_19_1","volume-title":"Scheme48 Reference Manual, 1.3 edition","author":"Kelsey R.","year":"2005","unstructured":"R. Kelsey , J. Rees , and M. Sperber . Scheme48 Reference Manual, 1.3 edition , 2005 . http:\/\/s48.org\/1.3\/s48manual.pdf.]] R. Kelsey, J. Rees, and M. Sperber. Scheme48 Reference Manual, 1.3 edition, 2005. http:\/\/s48.org\/1.3\/s48manual.pdf.]]"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.176926"},{"key":"e_1_3_2_1_21_1","volume-title":"The Objective Caml System, 3.08 edition","author":"Leroy X.","year":"2004","unstructured":"X. Leroy . The Objective Caml System, 3.08 edition , 2004 . http:\/\/caml.inria.fr\/pub\/docs\/manual-ocaml\/index.html.]] X. Leroy. The Objective Caml System, 3.08 edition, 2004. http:\/\/caml.inria.fr\/pub\/docs\/manual-ocaml\/index.html.]]"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086386"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2319.001.0001","volume-title":"The Definition of Standard ML (Revised)","author":"Milner R.","year":"1997","unstructured":"R. Milner , M. Tofte , R. Harper , and D. MacQueen . The Definition of Standard ML (Revised) . The MIT Press , Cambridge, Massachusetts , 1997 .]] R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML (Revised). The MIT Press, Cambridge, Massachusetts, 1997.]]"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094815"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/280586"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/507635.507644"},{"key":"e_1_3_2_1_27_1","volume-title":"Aug.","author":"Serrano M.","year":"2004","unstructured":"M. Serrano . Bigloo : A \"practical Scheme compiler\", 2.6e edition , Aug. 2004 . http:\/\/www-sop.inria.fr\/mimosa\/fp\/Bigloo\/doc\/bigloo.html.]] M. Serrano. Bigloo: A \"practical Scheme compiler\", 2.6e edition, Aug. 2004. http:\/\/www-sop.inria.fr\/mimosa\/fp\/Bigloo\/doc\/bigloo.html.]]"},{"key":"e_1_3_2_1_29_1","volume-title":"Proc. Workshop on ML","author":"Syme D.","year":"2005","unstructured":"D. Syme . Initializing mutually referential abstract objects: The value recursion challenge . In Proc. Workshop on ML , 2005 .]] D. Syme. Initializing mutually referential abstract objects: The value recursion challenge. In Proc. Workshop on ML, 2005.]]"},{"key":"e_1_3_2_1_30_1","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"Szyperski C.","year":"1997","unstructured":"C. Szyperski . Component Software: Beyond Object-Oriented Programming . Addison-Wesley , New York , 1997 .]] C. Szyperski. Component Software: Beyond Object-Oriented Programming. Addison-Wesley, New York, 1997.]]"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292559"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/645394.757558"}],"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.1159815","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T16:03:34Z","timestamp":1693843414000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1159803.1159815"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,9,16]]},"references-count":30,"alternative-id":["10.1145\/1159803.1159815","10.1145\/1159803"],"URL":"https:\/\/doi.org\/10.1145\/1159803.1159815","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1160074.1159815","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"}}]}}