{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:12:32Z","timestamp":1743124352137,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642164774"},{"type":"electronic","value":"9783642164781"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16478-1_13","type":"book-chapter","created":{"date-parts":[[2010,11,2]],"date-time":"2010-11-02T13:07:22Z","timestamp":1288703242000},"page":"218-235","source":"Crossref","is-referenced-by-count":4,"title":["Engineering Higher-Order Modules in SML\/NJ"],"prefix":"10.1007","author":[{"given":"George","family":"Kuan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"MacQueen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","first-page":"154","volume-title":"POPL 1995: Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"S.K. Biswas","year":"1995","unstructured":"Biswas, S.K.: Higher-order functors with transparent signatures. In: POPL 1995: Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 154\u2013163. ACM, New York (1995)"},{"key":"13_CR2","unstructured":"Cr\u00e9gut, P., MacQueen, D.: An implementation of higher-order functors. In: ACM SIGPLAN Workshop on Standard ML and its Applications (June 1994)"},{"key":"13_CR3","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1145\/581690.581692","volume-title":"Haskell 2002: Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell","author":"I.S. Diatchki","year":"2002","unstructured":"Diatchki, I.S., Jones, M.P., Hallgren, T.: A formal specification of the Haskell 98 module system. In: Haskell 2002: Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell, pp. 17\u201328. ACM, New York (2002)"},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1145\/1291151.1291196","volume-title":"ICFP 2007: Proceedings of the, ACM SIGPLAN International Conference on Functional Programming","author":"D. Dreyer","year":"2007","unstructured":"Dreyer, D.: A type system for recursive modules. In: ICFP 2007: Proceedings of the, ACM SIGPLAN International Conference on Functional Programming, pp. 289\u2013302. ACM, New York (2007)"},{"key":"13_CR5","first-page":"236","volume-title":"POPL 2003: Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"D. Dreyer","year":"2003","unstructured":"Dreyer, D., Crary, K., Harper, R.: A type system for higher-order modules. In: POPL 2003: Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 236\u2013249. ACM, New York (2003)"},{"key":"13_CR6","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1145\/1411204.1411248","volume-title":"ICFP 2008: Proceeding of the 13th ACM SIGPLAN International Conference on Functional Programming","author":"D. Dreyer","year":"2008","unstructured":"Dreyer, D., Rossberg, A.: Mixin\u2019 up the ML module system. In: ICFP 2008: Proceeding of the 13th ACM SIGPLAN International Conference on Functional Programming, pp. 307\u2013320. ACM, New York (2008)"},{"key":"13_CR7","first-page":"72","volume-title":"ICFP 2002: Proceedings of the 7th ACM SIGPLAN International Conference on Functional Programming","author":"M. Flatt","year":"2002","unstructured":"Flatt, M.: Composable and compilable macros: you want it when? In: ICFP 2002: Proceedings of the 7th ACM SIGPLAN International Conference on Functional Programming, pp. 72\u201383. ACM, New York (2002)"},{"key":"13_CR8","first-page":"123","volume-title":"POPL 1994: Proceedings of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"R. Harper","year":"1994","unstructured":"Harper, R., Lillibridge, M.: A type-theoretic approach to higher-order modules with sharing. In: POPL 1994: Proceedings of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 123\u2013137. ACM, New York (1994)"},{"key":"13_CR9","volume-title":"Advanced Topics in Types and Programming Languages","author":"R. Harper","year":"2005","unstructured":"Harper, R., Pierce, B.C.: Design Considerations for ML-Style Module Systems. In: Advanced Topics in Types and Programming Languages. MIT Press, Cambridge (2005)"},{"key":"13_CR10","unstructured":"Harper, R., Stone, C.: An interpretation of Standard ML in type theory. Technical Report CMU\u2013CS\u201397\u2013147, CMU, Pittsburgh, PA (June 1997) (Also published as Fox Memorandum CMU\u2013CS\u2013FOX\u201397\u201301)"},{"key":"13_CR11","unstructured":"Kuan, G.: True Higher-Order Module Systems, Separate Compilation, and Signature Calculi. PhD thesis, Department of Computer Science, University of Chicago, 1100 East 58th Street, Chicago, IL 60637 (June 2010)"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Kuan, G., MacQueen, D.: Engineering Higher-Order Modules in SML\/NJ. Technical Report TR-2010-01, Univ. of Chicago, Dept. of Computer Science, Chicago, IL (January 2010)","DOI":"10.1007\/978-3-642-16478-1_13"},{"key":"13_CR13","first-page":"109","volume-title":"POPL 1994: Proceedings of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"X. Leroy","year":"1994","unstructured":"Leroy, X.: Manifest types, modules, and separate compilation. In: POPL 1994: Proceedings of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 109\u2013122. ACM, New York (1994)"},{"key":"13_CR14","first-page":"142","volume-title":"POPL 1995: Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"X. Leroy","year":"1995","unstructured":"Leroy, X.: Applicative functors and fully transparent higher-order modules. In: POPL 1995: Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 142\u2013153. ACM, New York (1995)"},{"key":"13_CR15","unstructured":"Leroy, X.: Le syst\u00e8me Caml Special Light: modules et compilation efficace en Caml. In: Actes des Journ\u00e9es Francophones des Langages Applicatifs, pp. 111\u2013131. INRIA (January 1996)"},{"issue":"3","key":"13_CR16","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1017\/S0956796800003683","volume":"10","author":"X. Leroy","year":"2000","unstructured":"Leroy, X.: A modular module system. J. Funct. Program.\u00a010(3), 269\u2013303 (2000)","journal-title":"J. Funct. Program."},{"key":"13_CR17","first-page":"277","volume-title":"POPL 1986: Proceedings of the 13th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages","author":"D.B. MacQueen","year":"1986","unstructured":"MacQueen, D.B.: Using dependent types to express modular structure. In: POPL 1986: Proceedings of the 13th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp. 277\u2013286. ACM, New York (1986)"},{"key":"13_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/3-540-57880-3_27","volume-title":"Programming Languages and Systems - ESOP \u201994","author":"D.B. MacQueen","year":"1994","unstructured":"MacQueen, D.B., Tofte, M.: A semantics for higher-order functors. In: Sannella, D. (ed.) ESOP 1994. LNCS, vol.\u00a0788, pp. 409\u2013423. Springer, Heidelberg (1994)"},{"key":"13_CR19","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2319.001.0001","volume-title":"The Definition of Standard ML - Revised","author":"R. Milner","year":"1997","unstructured":"Milner, R., Tofte, M., Harper, R., MacQueen, D.: The Definition of Standard ML - Revised. The MIT Press, Cambridge (May 1997)"},{"key":"13_CR20","first-page":"37","volume-title":"POPL 1985: Proceedings of the 12th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages","author":"J.C. Mitchell","year":"1985","unstructured":"Mitchell, J.C., Plotkin, G.D.: Abstract types have existential types. In: POPL 1985: Proceedings of the 12th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp. 37\u201351. ACM, New York (1985)"},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"Montagu, B., R\u00e9my, D.: Modeling abstract types in modules with open existential types. In: Proceedings of the 36th ACM Symposium on Principles of Programming Languages (POPL 2009), Savannah, Georgia, USA, pp. 63\u201374 (January 2009)","DOI":"10.1145\/1480881.1480926"},{"key":"13_CR22","first-page":"181","volume-title":"STOC 1976: Proceedings of the 8th annual ACM Symposium on Theory of Computing","author":"M.S. Paterson","year":"1976","unstructured":"Paterson, M.S., Wegman, M.N.: Linear unification. In: STOC 1976: Proceedings of the 8th annual ACM Symposium on Theory of Computing, pp. 181\u2013186. ACM, New York (1976)"},{"issue":"2","key":"13_CR23","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/j.entcs.2005.11.045","volume":"148","author":"N. Ramsey","year":"2006","unstructured":"Ramsey, N.: ML module mania: A type-safe, separately compiled, extensible interpreter. Electr. Notes Theor. Comput. Sci.\u00a0148(2), 181\u2013209 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"13_CR24","unstructured":"Russo, C.V.: Types for Modules. PhD thesis, Edinburgh University (1998)"},{"key":"13_CR25","first-page":"220","volume-title":"ICFP 1999: Proceedings of the 4th ACM SIGPLAN International Conference on Functional Programming","author":"Z. Shao","year":"1999","unstructured":"Shao, Z.: Transparent modules with fully syntactic signatures. In: ICFP 1999: Proceedings of the 4th ACM SIGPLAN International Conference on Functional Programming, pp. 220\u2013232. ACM, New York (1999)"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16478-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,12]],"date-time":"2021-11-12T23:18:49Z","timestamp":1636759129000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16478-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642164774","9783642164781"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16478-1_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}