{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T23:05:18Z","timestamp":1779836718392,"version":"3.53.1"},"reference-count":24,"publisher":"Cambridge University Press (CUP)","issue":"5","license":[{"start":{"date-parts":[[2008,11,7]],"date-time":"2008-11-07T00:00:00Z","timestamp":1226016000000},"content-version":"unspecified","delay-in-days":4450,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Funct. Prog."],"published-print":{"date-parts":[[1996,9]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>This paper presents a purely syntactic account of type generativity and sharing \u2013 two key mechanisms in the SML module system \u2013 and shows its equivalence with the traditional stamp-based description of these mechanisms. This syntactic description recasts the SML module system in a more abstract, type-theoretic framework.<\/jats:p>","DOI":"10.1017\/s0956796800001933","type":"journal-article","created":{"date-parts":[[2008,11,7]],"date-time":"2008-11-07T11:10:39Z","timestamp":1226056239000},"page":"667-698","source":"Crossref","is-referenced-by-count":38,"title":["A syntactic theory of type generativity and sharing"],"prefix":"10.1017","volume":"6","author":[{"given":"Xavier","family":"Leroy","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2008,11,7]]},"reference":[{"key":"S0956796800001933_ref022","unstructured":"Tofte M. (1988) Operational semantics and polymorphic type inference. PhD thesis CST-52-88, University of Edinburgh."},{"key":"S0956796800001933_ref021","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1145\/141471.141563","volume-title":"Lisp and Functional Programming 1992","author":"Sabry","year":"1992"},{"key":"S0956796800001933_ref019","doi-asserted-by":"publisher","DOI":"10.1145\/44501.45065"},{"key":"S0956796800001933_ref004","volume-title":"Data Types and Persistence","author":"Cardelli","year":"1988"},{"key":"S0956796800001933_ref020","unstructured":"Russo C. (1995) Generativity of names in the static semantics of Standard ML. Personal communication, 02."},{"key":"S0956796800001933_ref023","doi-asserted-by":"crossref","unstructured":"Tofte M. (1992) Principal signatures for higher-order program modules. 19th symposium Principles of Programming Languages, pp. 189\u2013199. ACM Press.","DOI":"10.1145\/143165.143206"},{"key":"S0956796800001933_ref016","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57880-3_27"},{"key":"S0956796800001933_ref014","first-page":"198","volume-title":"Lisp and Functional Programming 1984","author":"MacQueen","year":"1984"},{"key":"S0956796800001933_ref013","volume-title":"Abstraction and Specification in Program Development","author":"Liskov","year":"1986"},{"key":"S0956796800001933_ref012","doi-asserted-by":"crossref","unstructured":"Leroy X. (1995) Applicative functors and fully transparent higher-order modules. 22nd symposium Principles of Programming Languages, pp. 142\u2013153. ACM Press.","DOI":"10.1145\/199448.199476"},{"key":"S0956796800001933_ref007","doi-asserted-by":"crossref","unstructured":"Harper R. and Lillibridge M. (1994) A type-theoretic approach to higher-order modules with sharing. 21st symposium Principles of Programming Languages, pp. 123\u2013137. ACM Press.","DOI":"10.1145\/174675.176927"},{"key":"S0956796800001933_ref005","doi-asserted-by":"publisher","DOI":"10.1145\/6041.6042"},{"key":"S0956796800001933_ref017","volume-title":"Commentary on Standard ML","author":"Milner","year":"1991"},{"key":"S0956796800001933_ref008","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0014988"},{"key":"S0956796800001933_ref003","first-page":"479","volume-title":"aProceedings IFIP TC2 Working Conference on Programming Concepts and Methods","author":"Cardelli","year":"1990"},{"key":"S0956796800001933_ref006","unstructured":"Gran G. (1995) An error in rule 55 of the definition of Standard ML. Personal communication, 06."},{"key":"S0956796800001933_ref009","doi-asserted-by":"publisher","DOI":"10.1145\/169701.169696"},{"key":"S0956796800001933_ref010","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96744"},{"key":"S0956796800001933_ref018","volume-title":"The definition of Standard ML","author":"Milner","year":"1990"},{"key":"S0956796800001933_ref024","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-96757-3"},{"key":"S0956796800001933_ref001","doi-asserted-by":"crossref","unstructured":"Aponte M.-V. (1993) Extending record typing to type parametric modules with sharing. 20th symposium Principles of Programming Languages, pp. 465\u2013478. ACM Press.","DOI":"10.1145\/158511.158704"},{"key":"S0956796800001933_ref015","doi-asserted-by":"crossref","unstructured":"MacQueen D. B. (1986) Using dependent types to express modular structure. 13th symposium Principles of Programming Languages, pp. 277\u2013286. ACM Press.","DOI":"10.1145\/512644.512670"},{"key":"S0956796800001933_ref002","first-page":"431","volume-title":"Formal Description of Programming Concepts","author":"Cardelli","year":"1989"},{"key":"S0956796800001933_ref011","doi-asserted-by":"crossref","unstructured":"Leroy X. (1994) Manifest types, modules, and separate compilation. 21st symposium Principles of Programming Languages, pp. 109\u2013122. ACM Press.","DOI":"10.1145\/174675.176926"}],"container-title":["Journal of Functional Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0956796800001933","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T22:35:25Z","timestamp":1779834925000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0956796800001933\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,9]]},"references-count":24,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1996,9]]}},"alternative-id":["S0956796800001933"],"URL":"https:\/\/doi.org\/10.1017\/s0956796800001933","relation":{},"ISSN":["0956-7968","1469-7653"],"issn-type":[{"value":"0956-7968","type":"print"},{"value":"1469-7653","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,9]]}}}