{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T09:55:30Z","timestamp":1742378130726,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540411727"},{"type":"electronic","value":"9783540400486"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-40048-6_12","type":"book-chapter","created":{"date-parts":[[2007,8,1]],"date-time":"2007-08-01T01:19:39Z","timestamp":1185931179000},"page":"147-164","source":"Crossref","is-referenced-by-count":2,"title":["Recursive Types and Pattern-Matching in Java"],"prefix":"10.1007","author":[{"given":"R\u00e9mi","family":"Forax","sequence":"first","affiliation":[]},{"given":"Gilles","family":"Roussel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,11,11]]},"reference":[{"issue":"4","key":"12_CR1","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1985","unstructured":"Luca Cardelli, Peter Wegner On Understanding Types, Data Abstraction, and Polymorphism Computing Surveys, Vol 17 n. 4, pp 471\u2013522, December 1985.","journal-title":"Computing Surveys"},{"key":"12_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/3-540-47891-4_15","volume-title":"ECOOP\u201987","author":"L. G. DeMichiel","year":"1987","unstructured":"L. G. DeMichiel, R. P. Gabriel. Common lisp object system overview ECOOP\u201987, LNCS 276 pp 151\u2013170, 1987."},{"key":"12_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"344","DOI":"10.1007\/3-540-19027-9_23","volume-title":"European Symposium on Programming (ESOP\u2019 88)","author":"P. Wadler","year":"1988","unstructured":"Philip Wadler. Deforestation: Transforming Programs to Eliminate Trees In Harald Ganzinger, editor, European Symposium on Programming (ESOP\u2019 88), LNCS 300, pages 344\u2013358, Nancy, March 1988. Springer-Verlag."},{"key":"12_CR4","series-title":"Lect Notes Comput Sci","first-page":"123","volume-title":"Proceedings of Programming Language Implementation and Logic Programming (PLILP\u2019 93)","author":"C. Bellec Le","year":"1993","unstructured":"Carole Le Bellec, Martin Jourdan, Didier Parigot and Gilles Roussel. Specification and Implementation of Grammar Coupling Using Attribute Grammars In Proceedings of Programming Language Implementation and Logic Programming (PLILP\u2019 93), LNCS 714, pages 123\u2013136, Tallinn, August 1993."},{"key":"12_CR5","unstructured":"Pascal Andr\u00e9 et Jean-Claude Royer. La mod\u00e9lisation des listes en programmation par objets. Dans JFLA\u201994, P. Cointe, C. Queinnec et B. Serpette (\u00e9diteurs), Collection Didactique de l\u2019INRIA, pages 259\u2013285, Noirmoutier, Janvier 1994."},{"key":"12_CR6","unstructured":"Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software Addison Wesley, 1995."},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Johann Jeuring. Polytypic pattern matching Conference Record of FPCA\u2019 95, SIGPLAN-SIGARCH-WG2.8 Conference on Functional Programming and Computer Architecture, pages 238\u2013248, San Diego 1995.","DOI":"10.1145\/224164.224212"},{"key":"12_CR8","unstructured":"Andrew Shalit The Dylan Reference Manual Addison-Wesley, September 1996"},{"key":"12_CR9","volume-title":"Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns","author":"K. J. Lieberherr","year":"1996","unstructured":"Karl J. Lieberherr. Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns PWS Publishing Company, Boston, 1996."},{"key":"12_CR10","unstructured":"James Gosling, Bill Joy, Guy Steele. The Java Language Specification The Java Series, Addison Wesley, 1996."},{"key":"12_CR11","unstructured":"Tim Lindholm, Franck Yellin. The Java Virtual Machine Specification The Java Series, Addison Wesley, 1996."},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Martin Odersky and Philip Wadler. Pizza into Java: Translating theory into practice 24th ACM Symp. on Principles of Programming Languages, 1997.","DOI":"10.1145\/263699.263715"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"John Boyland and Giuseppe Castagna Parasitic Methods: An Implementation of Multi-Methods for Java. OOPSLA\u2019 97 Atlanta, ACM 0-89791-000-0\/97 USA 1997.","DOI":"10.1145\/263698.263721"},{"key":"12_CR14","unstructured":"Lo\u00efc Correnson, Etienne Duris, Didier Parigot et Gilles Roussel. Symbolic Composition JFLA. Come, Italie, feb 1998."},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Jens Palsberg and C. Barry Jay. The Essence of the Visitor Pattern In Proceedings of COMPSAC\u201998, 22nd Annual International Computer Software and Applications Conference, pages 9\u201315, Vienna, Austria, August 1998.","DOI":"10.1109\/CMPSAC.1998.716629"}],"container-title":["Lecture Notes in Computer Science","Generative and Component-Based Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-40048-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T01:31:55Z","timestamp":1737336715000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-40048-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411727","9783540400486"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-40048-6_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}