{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T01:23:06Z","timestamp":1725672186883},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,9,16]]},"DOI":"10.1145\/1159876.1159883","type":"proceedings-article","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T22:04:00Z","timestamp":1161209040000},"page":"32-42","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["A separate compilation extension to standard ML"],"prefix":"10.1145","author":[{"given":"David","family":"Swasey","sequence":"first","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA"}]},{"suffix":"VII","given":"Tom","family":"Murphy","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA"}]},{"given":"Karl","family":"Crary","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA"}]},{"given":"Robert","family":"Harper","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA"}]}],"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\/174634.174637"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/325478.325481"},{"key":"e_1_3_2_1_3_1","volume-title":"CM: The SML\/NJ compilation and library manager (for SML\/NJ version 110.40 and later) user manual","author":"Blume Matthias","year":"2002","unstructured":"Matthias Blume . CM: The SML\/NJ compilation and library manager (for SML\/NJ version 110.40 and later) user manual , 2002 . http:\/\/www.smlnj.org\/doc\/CM\/new.pdf. Matthias Blume. CM: The SML\/NJ compilation and library manager (for SML\/NJ version 110.40 and later) user manual, 2002. http:\/\/www.smlnj.org\/doc\/CM\/new.pdf."},{"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.1145\/263699.263735"},{"key":"e_1_3_2_1_6_1","volume-title":"January","author":"Cejtin Henry","year":"2005","unstructured":"Henry Cejtin , Matthew Fluet , Suresh Jagannathan , and Stephen Weeks . Formal specification of the ML Basis system , January 2005 . http:\/\/mlton.org\/MLBasis. Henry Cejtin, Matthew Fluet, Suresh Jagannathan, and Stephen Weeks. Formal specification of the ML Basis system, January 2005. http:\/\/mlton.org\/MLBasis."},{"key":"e_1_3_2_1_7_1","unstructured":"Martin Elsman. Program Modules Separate Compilation and Intermodule Optimisation. PhD thesis Department of Computer Science University of Copenhagen January 1999.  Martin Elsman. Program Modules Separate Compilation and Intermodule Optimisation. PhD thesis Department of Computer Science University of Copenhagen January 1999."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292563"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.176927"},{"key":"e_1_3_2_1_11_1","first-page":"293","volume-title":"Advanced Topics in Types and Programming Languages","author":"Harper Robert","year":"2005","unstructured":"Robert Harper and Benjamin C. Pierce . Design considerations for ML-style module systems . In Benjamin C. Pierce, editor, Advanced Topics in Types and Programming Languages , chapter 8, pages 293 -- 346 . MIT Press , 2005 . Robert Harper and Benjamin C. Pierce. Design considerations for ML-style module systems. In Benjamin C. Pierce, editor, Advanced Topics in Types and Programming Languages, chapter 8, pages 293--346. MIT Press, 2005."},{"key":"e_1_3_2_1_13_1","volume-title":"A type-theoretic interpretation of Standard ML","author":"Harper Robert","year":"2000","unstructured":"Robert Harper and Christopher Stone . A type-theoretic interpretation of Standard ML . In Gordon Plotkin, Colin Stirling, and Mads Tofte, editors, Proof, Language , and Interaction: Essays in Honour of Robin Milner. MIT Press , 2000 . Robert Harper and Christopher Stone. A type-theoretic interpretation of Standard ML. In Gordon Plotkin, Colin Stirling, and Mads Tofte, editors, Proof, Language, and Interaction: Essays in Honour of Robin Milner. MIT Press, 2000."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237728"},{"key":"e_1_3_2_1_15_1","volume-title":"The Objective Caml system release 3.09: Documentation and user's manual","author":"Leroy Xavier","year":"2005","unstructured":"Xavier Leroy , Damien Doligez , Jacques Garrigue , Didier R\u00e9my , and J\u00e9r\u00f4me Vouillon . The Objective Caml system release 3.09: Documentation and user's manual , 2005 . http:\/\/caml.inria.fr\/pub\/docs\/manual-ocaml\/index.html. Xavier Leroy, Damien Doligez, Jacques Garrigue, Didier R\u00e9my, and J\u00e9r\u00f4me Vouillon. The Objective Caml system release 3.09: Documentation and user's manual, 2005. http:\/\/caml.inria.fr\/pub\/docs\/manual-ocaml\/index.html."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/549659"},{"key":"e_1_3_2_1_17_1","unstructured":"MLKit web site. http:\/\/www.itu.dk\/research\/mlkit\/index.php\/Main_Page.  MLKit web site. http:\/\/www.itu.dk\/research\/mlkit\/index.php\/Main_Page."},{"key":"e_1_3_2_1_18_1","unstructured":"MLton web site. http:\/\/mlton.org\/.  MLton web site. http:\/\/mlton.org\/."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/319301.319345"},{"key":"e_1_3_2_1_20_1","volume-title":"June","author":"Romanenko Sergei","year":"2000","unstructured":"Sergei Romanenko , Claudio Russo , and Peter Sestoft . Moscow ML owner's manual version 2.00 , June 2000 . http:\/\/www.dina.kvl.dk\/~sestoft\/mosml\/manual.pdf. Sergei Romanenko, Claudio Russo, and Peter Sestoft. Moscow ML owner's manual version 2.00, June 2000. http:\/\/www.dina.kvl.dk\/~sestoft\/mosml\/manual.pdf."}],"event":{"name":"ICFP06: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Portland Oregon USA","acronym":"ICFP06"},"container-title":["Proceedings of the 2006 workshop on ML"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1159876.1159883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,12]],"date-time":"2023-01-12T08:48:35Z","timestamp":1673513315000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1159876.1159883"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,9,16]]},"references-count":18,"alternative-id":["10.1145\/1159876.1159883","10.1145\/1159876"],"URL":"https:\/\/doi.org\/10.1145\/1159876.1159883","relation":{},"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"}}]}}