{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:14:54Z","timestamp":1725488094083},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540675303"},{"type":"electronic","value":"9783540454991"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45499-3_32","type":"book-chapter","created":{"date-parts":[[2007,7,31]],"date-time":"2007-07-31T21:55:04Z","timestamp":1185918904000},"page":"454-468","source":"Crossref","is-referenced-by-count":0,"title":["MIX(FL): A Kernel Language of Mixin Modules"],"prefix":"10.1007","author":[{"given":"Davide","family":"Ancona","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,5,19]]},"reference":[{"key":"32_CR1","unstructured":"D. Ancona. Modular Formal Frameworks for Module Systems. PhD thesis, Dipartimento di Informatica, Universit\u00e0 di Pisa, March 1998."},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"D. Ancona, G. Lagorio, and E. Zucca. Jam-a smooth extension of Java with mixins. Technical Report DISI-TR-99-15, DISI, University of Genova, 1999. Submitted for publication.","DOI":"10.1007\/3-540-45102-1_8"},{"key":"32_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1007\/3-540-64299-4_28","volume-title":"Proc. 12th International Workshop on Algebraic Development Techniques, WADT\u2019 97, Tarquinia, Italy, June 1997","author":"D. Ancona","year":"1998","unstructured":"D. Ancona and E. Zucca. An algebra of mixin modules. In F. Parisi-Presicce, editor, Proc. 12th International Workshop on Algebraic Development Techniques, WADT\u2019 97, Tarquinia, Italy, June 1997. Selected Papers, volume 1376 of Lecture Notes in Computer Science, pages 92\u2013106, Berlin, 1998. Springer Verlag."},{"issue":"4","key":"32_CR4","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1017\/S0960129598002576","volume":"8","author":"D. Ancona","year":"1998","unstructured":"D. Ancona and E. Zucca. A theory of mixin modules: basic and derived operators. Mathematical Structures in Computer Science, 8(4):401\u2013446, 1998.","journal-title":"Mathematical Structures in Computer Science"},{"key":"32_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/10704567_4","volume-title":"Principles and Practice of Declarative Programming, 1999","author":"D. Ancona","year":"1999","unstructured":"D. Ancona and E. Zucca. A primitive calculus for module systems. In G. Nadathur, editor, Principles and Practice of Declarative Programming, 1999, number 1702 in Lecture Notes in Computer Science, pages 62\u201379. Springer Verlag, 1999."},{"key":"32_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/BFb0053058","volume-title":"Proc. of European Conference on Object-Oriented Programming","author":"G. Banavar","year":"1996","unstructured":"G. Banavar and G. Lindstrom. An application framework for module composition tools. In Proc. of European Conference on Object-Oriented Programming, number 1098 in Lecture Notes in Computer Science, pages 91\u2013113. Springer Verlag, July 1996."},{"key":"32_CR7","doi-asserted-by":"crossref","unstructured":"G. Bracha and G. Lindstrom. Modularity meets inheritance. In Proc. International Conference on Computer Languages, pages 282\u2013290, San Francisco, April 1992. IEEE Computer Society.","DOI":"10.1109\/ICCL.1992.185492"},{"key":"32_CR8","doi-asserted-by":"crossref","unstructured":"W.R. Cook. A Denotational Semantics of Inheritance. PhD thesis, Dept. of Computer Science, Brown University, 1989.","DOI":"10.1145\/74877.74922"},{"key":"32_CR9","doi-asserted-by":"crossref","unstructured":"K. Crary, R. Harper, and S. Puri. What is a recursive module? In PLDI\u201999-ACM Conf. on Programming Language Design and Implementation, 1999.","DOI":"10.1145\/301618.301641"},{"key":"32_CR10","unstructured":"D. Duggan and C. Sourelis. Parameterized modules, recursive modules, and mixin modules. In 1998 ACM SIGPLAN Workshop on ML, pages 87\u201396, Baltimore, Maryland, September 1998. ACM Press."},{"key":"32_CR11","doi-asserted-by":"crossref","unstructured":"R.B. Findler and M. Flatt. Modular object-oriented programming with units and mixins. In Intl. Conf. on Functional Programming 1998, September 1998.","DOI":"10.1145\/289423.289432"},{"key":"32_CR12","doi-asserted-by":"crossref","unstructured":"M. Flatt and M. Felleisen. Units: Cool modules for HOT languages. In PLDI\u201998-ACM Conf. on Programming Language Design and Implementation, pages 236\u2013248, 1998.","DOI":"10.1145\/277652.277730"},{"key":"32_CR13","doi-asserted-by":"crossref","unstructured":"M. Flatt, S. Krishnamurthi, and M. Felleisen. Classes and mixins. In ACM Symp. on Principles of Programming Languages 1998, pages 171\u2013183, January 1998.","DOI":"10.1145\/268946.268961"},{"issue":"1","key":"32_CR14","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. A. Goguen","year":"1992","unstructured":"J. A. Goguen and R. Burstall. Institutions: abstract model theory for specification and programming. Journ. ACM, 39(1):95\u2013146, 1992.","journal-title":"Journ. ACM"},{"key":"32_CR15","unstructured":"S. E. Keene. Object-Oriented Programming in Common Lisp. Addison Wesley, 1989."},{"key":"32_CR16","volume-title":"The Definition of Standard ML","author":"R. Milner","year":"1990","unstructured":"R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. The MIT Press, Cambridge, Massachussetts, 1990."},{"key":"32_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/28697.28698","volume":"11","author":"D.A. Moon","year":"1986","unstructured":"D.A. Moon. Object oriented programming with Flavors. In ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications 1986, pages 1\u20138. ACM Press, November 1986. SIGPLAN Notices, volume 21, number 11.","journal-title":"ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications 1986"},{"key":"32_CR18","doi-asserted-by":"crossref","unstructured":"U. S. Reddy. Objects as closures: Abstract semantics of object-oriented languages. In Proc. ACM Conf. on Lisp and Functional Programming, pages 289\u2013297, 1988.","DOI":"10.1145\/62678.62721"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45499-3_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T12:45:48Z","timestamp":1683981948000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45499-3_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540675303","9783540454991"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-45499-3_32","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}