{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:07:04Z","timestamp":1725664024642},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540578802"},{"type":"electronic","value":"9783540483762"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57880-3_27","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:36:45Z","timestamp":1330263405000},"page":"409-423","source":"Crossref","is-referenced-by-count":11,"title":["A semantics for higher-order functors"],"prefix":"10.1007","author":[{"given":"David B.","family":"MacQueen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mads","family":"Tofte","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"27_CR1","first-page":"465","volume-title":"Extending record typing to type parametric modules with sharing","author":"M. Aponte","year":"1993","unstructured":"Maria-Virginia Aponte. Extending record typing to type parametric modules with sharing. In Twentieth Annual ACM Symp. on Principles of Prog. Languages, pages 465\u2013478, New York, Jan 1993. ACM Press."},{"key":"27_CR2","volume-title":"Standard ML of New Jersey","author":"A. W. Appel","year":"1991","unstructured":"Andrew W. Appel and David B. MacQueen. Standard ML of New Jersey. In Martin Wirsing, editor, Third Int'l Symp. on Prog. Lang. Implementation and Logic Programming, New York, August 1991. Springer-Verlag, (in press)."},{"unstructured":"Pierre Cr\u00e9gut. Extensions to the sml module system. Rapport de Stage d'Ingenieur Eleve des Telecommunications, November 1992.","key":"27_CR3"},{"key":"27_CR4","volume-title":"A type-theoretic approach to higher-order modules with sharing","author":"R. Harper","year":"1994","unstructured":"Robert Harper and Mark Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Twenty First Annual ACM Symp. on Principles of Prog. Languages, New York, Jan 1994. ACM Press."},{"key":"27_CR5","first-page":"341","volume-title":"Higher-order modules and the phase distinction","author":"R. Harper","year":"1990","unstructured":"Robert Harper, John C. Mitchell, and Eugenio Moggi. Higher-order modules and the phase distinction. In Seventeenth Annual ACM Symp. on Principles of Prog. Languages, pages 341\u2013354, New York, Jan 1990. ACM Press."},{"key":"27_CR6","volume-title":"Manifest types, modules, and separate compilation","author":"X. Leroy","year":"1994","unstructured":"Xavier Leroy. Manifest types, modules, and separate compilation. In Twenty First Annual ACM Symp. on Principles of Prog. Languages, New York, Jan 1994. ACM Press."},{"key":"27_CR7","first-page":"198","volume-title":"Modules for Standard ML","author":"D. MacQueen","year":"1984","unstructured":"David MacQueen. Modules for Standard ML. In Proc. 1984 ACM Conf. on LISP and Functional Programming, pages 198\u2013207, New York, 1984. ACM Press."},{"key":"27_CR8","first-page":"277","volume-title":"Using dependent types to express modular structure","author":"D. MacQueen","year":"1986","unstructured":"David MacQueen. Using dependent types to express modular structure. In Thirteenth Annual A CM Symp. on Principles of Prog. Languages, pages 277\u2013286, New York, Jan 1986. ACM Press."},{"key":"27_CR9","volume-title":"Commentary on Standard ML","author":"R. Milner","year":"1991","unstructured":"Robin Milner and Mads Tofte. Commentary on Standard ML. MIT Press, Cambridge, Massachusetts, 1991."},{"key":"27_CR10","volume-title":"The Definition of Standard ML","author":"R. Milner","year":"1990","unstructured":"Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT Press, Cambridge, MA, 1990."},{"key":"27_CR11","first-page":"28","volume-title":"The essence of ML","author":"J. C. Mitchell","year":"1988","unstructured":"John C. Mitchell and Robert Harper. The essence of ML. In Fifteenth ACM Symp. on Principles of Programming Languages, pages 28\u201346, New York, 1988. ACM Press."},{"key":"27_CR12","first-page":"77","volume-title":"Typechecking records and variants in a natural extension of ml","author":"D. R\u00e9my","year":"1989","unstructured":"Didier R\u00e9my. Typechecking records and variants in a natural extension of ml. In Sixteenth Annual ACM Symp. on Principles of Prog. Languages, pages 77\u201388, New York, Jan 1989. ACM Press."},{"doi-asserted-by":"crossref","unstructured":"Donald Sannella and Andrej Tarlecki. Extended ml: Past, present, and future. Technical Report ECS-LFCS-91-138, Laboratory for Foundations of Computer Science, University of Edinburgh, 1991.","key":"27_CR13","DOI":"10.1007\/3-540-54496-8_16"},{"key":"27_CR14","first-page":"189","volume-title":"Principal signatures for higher-order program modules","author":"M. Tofte","year":"1992","unstructured":"Mads Tofte. Principal signatures for higher-order program modules. In Nineteenth Annual ACM Symp. on Principles of Prog. Languages, pages 189\u2013199, New York, Jan 1992. ACM Press. (Extended version to appear in Journal of Functional Programming)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems \u2014 ESOP '94"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57880-3_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:15:19Z","timestamp":1605647719000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57880-3_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540578802","9783540483762"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-57880-3_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}