{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:54Z","timestamp":1725664974550},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617563"},{"type":"electronic","value":"9783540706540"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61756-6_95","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:20:30Z","timestamp":1330276830000},"page":"334-346","source":"Crossref","is-referenced-by-count":8,"title":["Type isomorphisms for module signatures"],"prefix":"10.1007","author":[{"given":"Mar\u00eda -Virginia","family":"Aponte","sequence":"first","affiliation":[]},{"given":"Roberto","family":"Cosmo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Mar\u00eda Virginia Aponte. Extending records typing to type parametric modules with sharing. In 20th symposium on Principles of Programming Languages, 1993.","DOI":"10.1145\/158511.158704"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Roberto Di Cosmo. Type isomorphisms in a type assignment framework. In 19th Ann. ACM Symp. on Principles of Programming Languages (POPL), pages 200\u2013210. ACM, 1992.","DOI":"10.1145\/143165.143208"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Roberto Di Cosmo. Isomorphisms of types: from \u03bb-calculus to information retrieval and language design. Birkhauser, 1995. ISBN-0-8176-3763-X.","DOI":"10.1007\/978-1-4612-2572-0"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"Roberto Di Cosmo. Second order isomorphic types. A proof theoretic study on second order \u03bb-calculus with surjective pairing and terminal object. Information and Computation, pages 176\u2013201, June 1995.","DOI":"10.1006\/inco.1995.1085"},{"key":"23_CR5","unstructured":"Robert Harper, Robin Milner, and Mads Tofte. A type discipline for program modules. In Theory and Practice of Programming Languages, volume 250 of Lecture Notes in Computer Science. Springer Verlag, 1987."},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Xavier Leroy. Manifest types, modules, and separate compilation. In 21st symposium on Principles of Programming Languages, pages 109\u2013122. ACM Press, January 1994.","DOI":"10.1145\/174675.176926"},{"key":"23_CR7","unstructured":"Xavier Leroy. A syntactic approach to type generativity and sharing (extended abstract). In Record of the 1994 ACM-SIGPLAN Workshop on ML and its Applications, pages 1\u201312. INRIA, June 1994."},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Xavier Leroy. Applicative functors and fully transparent higher-order modules. In 22nd symposium on Principles of Programming Languages. ACM Press, January 1995.","DOI":"10.1145\/199448.199476"},{"key":"23_CR9","volume-title":"Technical report","author":"X. Leroy","year":"1995","unstructured":"Xavier Leroy. The Caml Special Light system. Technical report, INRIA, Roquencourt, Le Chesnay Cedex 78153, France, 1995. Available as ftp:\/\/ftp.inria.fr\/lang\/caml-light\/csl*."},{"key":"23_CR10","volume-title":"Technical report","author":"X. Leroy","year":"1996","unstructured":"Xavier Leroy. The Objective Caml reference manual. Technical report, INRIA, Roquencourt, Le Chesnay Cedex 78153, France, 1996. Available as ftp:\/\/ftp.inria.fr\/lang\/caml-light\/ocaml*."},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"David MacQueen. Modules for standard ML. In ACM Symposium on Lisp and Functional Programming, 1984.","DOI":"10.1145\/800055.802036"},{"key":"23_CR12","unstructured":"Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. The MIT Press, 1990."},{"key":"23_CR13","unstructured":"Departement of Defense DoD. Ada reference manual. 1983."},{"key":"23_CR14","unstructured":"Patrick Parot. Automatisation d'une biblioth\u00e8que de modules. In Journ\u00e9es Francophones des Langages Applicatifs, pages 75\u201398, 1995."},{"key":"23_CR15","volume-title":"PhD thesis","author":"M. Rittri","year":"1990","unstructured":"Mikael Rittri. Searching program libraries by type and proving compiler correctness by bisimulation. PhD thesis, University of G\u00f6teborg, G\u00f6teborg, Sweden, 1990."},{"issue":"1","key":"23_CR16","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1017\/S095679680000006X","volume":"1","author":"M. Rittri","year":"1991","unstructured":"Mikael Rittri. Using types as search keys in function libraries. Journal of Functional Programming, 1(1):71\u201389, 1991.","journal-title":"Journal of Functional Programming"},{"key":"23_CR17","unstructured":"Pierre Weis and Xavier Leroy. Le langage Caml. Inter\u00c9ditions, 1993."},{"key":"23_CR18","doi-asserted-by":"crossref","unstructured":"Amy Moormann Zaremsky and Jeannette M. Wing. Signature matching: a key to reuse. In SIGSOFT, December 1993. Also available as CMU-CS-93-151, May 1993.","DOI":"10.21236\/ADA265332"}],"container-title":["Lecture Notes in Computer Science","Programming Languages: Implementations, Logics, and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61756-6_95.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:10:25Z","timestamp":1605629425000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61756-6_95"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617563","9783540706540"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-61756-6_95","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}