{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,18]],"date-time":"2026-01-18T00:31:50Z","timestamp":1768696310202,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,1,23]],"date-time":"2010-01-23T00:00:00Z","timestamp":1264204800000},"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":[[2010,1,23]]},"DOI":"10.1145\/1708016.1708028","type":"proceedings-article","created":{"date-parts":[[2010,1,26]],"date-time":"2010-01-26T13:53:54Z","timestamp":1264514034000},"page":"89-102","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":22,"title":["F-ing modules"],"prefix":"10.1145","author":[{"given":"Andreas","family":"Rossberg","sequence":"first","affiliation":[{"name":"MPI-SWS, Saarbr\u00fccken, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudio V.","family":"Russo","sequence":"additional","affiliation":[{"name":"Microsoft Research, Cambridge, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Derek","family":"Dreyer","sequence":"additional","affiliation":[{"name":"MPI-SWS, Saarbr\u00fccken, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,1,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328443"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199478"},{"key":"e_1_3_2_1_4_1","volume-title":"INRIA","author":"Team Coq Development","year":"2007"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291196"},{"key":"e_1_3_2_1_6_1","volume-title":"CMU","author":"Dreyer D.","year":"2005"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796807006429"},{"key":"e_1_3_2_1_8_1","volume-title":"ESOP'07","author":"Dreyer D."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604151"},{"key":"e_1_3_2_1_10_1","unstructured":"D. Dreyer K. Crary and R. Harper. Moscow ML's higher-order modules are unsound 17 September 2002. (Types Forum).  D. Dreyer K. Crary and R. Harper. Moscow ML's higher-order modules are unsound 17 September 2002. (Types Forum)."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411248"},{"key":"e_1_3_2_1_12_1","unstructured":"M. Elsman. Program Modules Separate Compilation and Intermodule Optimisation. PhD thesis U. of Copenhagen 1999.  M. Elsman. Program Modules Separate Compilation and Intermodule Optimisation. PhD thesis U. of Copenhagen 1999."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(96)00300-3"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90040-2"},{"key":"e_1_3_2_1_15_1","unstructured":"R. Harper. Programming in Standard ML. Working draft available at: http:\/\/www.cs.cmu.edu\/~rwh\/smlbook\/.  R. Harper. Programming in Standard ML. Working draft available at: http:\/\/www.cs.cmu.edu\/~rwh\/smlbook\/."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.176927"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/169701.169696"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96744"},{"key":"e_1_3_2_1_19_1","volume-title":"MIT Press","author":"Harper R.","year":"2005"},{"key":"e_1_3_2_1_20_1","volume-title":"Proof, Language, and Interaction: Essays in Honor of Robin Milner","author":"Harper R.","year":"2000"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237731"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01018827"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190245"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199476"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800001933"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800003683"},{"key":"e_1_3_2_1_28_1","volume-title":"CMU","author":"Lillibridge M.","year":"1997"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/512644.512670"},{"key":"e_1_3_2_1_30_1","volume-title":"ESOP '94","author":"MacQueen D."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/549659"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/44501.45065"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480926"},{"key":"e_1_3_2_1_34_1","volume-title":"L. C. Paulson. ML for the Working Programmer","year":"1996","edition":"2"},{"key":"e_1_3_2_1_35_1","volume-title":"POPL '03","author":"Jones S. Peyton"},{"key":"e_1_3_2_1_36_1","volume-title":"PPDP '99","author":"Russo C. V."},{"key":"e_1_3_2_1_37_1","volume-title":"University of Edinburgh","author":"Russo C. V.","year":"1998"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/763845.763850"},{"key":"e_1_3_2_1_39_1","first-page":"60","article-title":"Types for Modules","author":"Russo C. V.","year":"2003","journal-title":"ENTCS"},{"key":"e_1_3_2_1_40_1","unstructured":"C. Shan. Higher-order modules in System F! and Haskell 2004. http:\/\/www.cs.rutgers.edu\/~ccshan\/xlate\/xlate.pdf.  C. Shan. Higher-order modules in System F! and Haskell 2004. http:\/\/www.cs.rutgers.edu\/~ccshan\/xlate\/xlate.pdf."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/317636.317801"},{"key":"e_1_3_2_1_42_1","first-page":"9","article-title":"First-class modules for Haskell","author":"Shields M.","year":"2002","journal-title":"FOOL"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1183278.1183281"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190315.1190324"},{"key":"e_1_3_2_1_45_1","first-page":"12","author":"Torgersen M.","year":"2005","journal-title":"Wild FJ. In FOOL"}],"event":{"name":"POPL '10: The 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"Madrid Spain","acronym":"POPL '10","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1708016.1708028","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1708016.1708028","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:45:36Z","timestamp":1750250736000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1708016.1708028"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1,23]]},"references-count":44,"alternative-id":["10.1145\/1708016.1708028","10.1145\/1708016"],"URL":"https:\/\/doi.org\/10.1145\/1708016.1708028","relation":{},"subject":[],"published":{"date-parts":[[2010,1,23]]},"assertion":[{"value":"2010-01-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}