{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:48:16Z","timestamp":1725472096622},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540489375"},{"type":"electronic","value":"9783540489382"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11924661_3","type":"book-chapter","created":{"date-parts":[[2006,10,27]],"date-time":"2006-10-27T13:42:39Z","timestamp":1161956559000},"page":"44-60","source":"Crossref","is-referenced-by-count":5,"title":["Private Row Types: Abstracting the Unnamed"],"prefix":"10.1007","author":[{"given":"Jacques","family":"Garrigue","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1002\/(SICI)1096-9942(1998)4:1<27::AID-TAPO3>3.0.CO;2-4","volume":"4","author":"D. R\u00e9my","year":"1998","unstructured":"R\u00e9my, D., Vouillon, J.: Objective ML: An effective object-oriented extension to ML. Theory and Practice of Object Systems\u00a04, 27\u201350 (1998)","journal-title":"Theory and Practice of Object Systems"},{"key":"3_CR2","unstructured":"Garrigue, J.: Programming with polymorphic variants. In: ML Workshop, Baltimore (1998)"},{"key":"3_CR3","unstructured":"Wadler, P.: The expression problem. Java Genericity mailing list (1998), \n                    \n                      http:\/\/www.daimi.au.dk\/~madst\/tool\/papers\/expression.txt"},{"key":"3_CR4","unstructured":"Garrigue, J.: Code reuse through polymorphic variants. In: Workshop on Foundations of Software Engineering, Sasaguri, Japan (2000), \n                    \n                      http:\/\/www.math.nagoya-u.ac.jp\/~garrigue\/papers\/fose2000.html"},{"key":"3_CR5","unstructured":"R\u00e9my, D., Garrigue, J.: On the expression problem (2004), \n                    \n                      http:\/\/pauillac.inria.fr\/~remy\/work\/expr\/"},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"844","DOI":"10.1145\/218570.218572","volume":"17","author":"A. Ohori","year":"1995","unstructured":"Ohori, A.: A polymorphic record calculus and its compilation. ACM Transactions on Programming Languages and Systems\u00a017, 844\u2013895 (1995)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Canning, P., Cook, W., Hill, W., Olthoff, W., Mitchell, J.C.: F-bounded polymorphism for object-oriented programming. In: Proc. ACM Symposium on Functional Programming and Computer Architectures, pp. 273\u2013280 (1989)","DOI":"10.1145\/99370.99392"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Bracha, G., Odersky, M., Stoutamire, D., Wadler, P.: Making the future safe for the past: Adding genericity to the Java programming language. In: Proc. ACM Symposium on Object Oriented Programming, Systems, Languages and Applications (1998)","DOI":"10.1145\/286936.286957"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Fisher, K., Reppy, J.: The design of a class mechanism for Moby. In: Proc. ACM Conference on Programming Language Design and Implementation (1999)","DOI":"10.1145\/301618.301638"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Odersky, M., Cr\u00e9met, V., R\u00f6ckl, C., Zenger, M.: A nominal theory of objects with dependent types. In: Proc. European Conference on Object-Oriented Programming (2003)","DOI":"10.1007\/978-3-540-45070-2_10"},{"key":"3_CR11","unstructured":"Zenger, M., Odersky, M.: Independently extensible solutions to the expression problem. In: Workshop on Foundations of Object-Oriented Languages (2005)"},{"key":"3_CR12","unstructured":"Boulm\u00e9, S., Hardin, T., Rioboo, R.: Polymorphic data types, objects, modules and functors: is it too much? RR 014, LIP6, Universit\u00e9 Paris 6 (2000)"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Zenger, M., Odersky, M.: Extensible algebraic datatypes with defaults. In: Proc. ACM International Conference on Functional Programming, pp. 241\u2013252 (2001)","DOI":"10.1145\/507635.507665"},{"key":"3_CR14","unstructured":"Leroy, X., Doligez, D., Garrigue, J., R\u00e9my, D., Vouillon, J.: The Objective Caml system release 3.09, Documentation and user\u2019s manual. Projet Cristal, INRIA (2005)"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Vouillon, J.: Combining subsumption and binary methods: an object calculus with views. In: Proc. ACM Symposium on Principles of Programming Languages, pp. 290\u2013303 (2001)","DOI":"10.1145\/360204.360233"},{"key":"3_CR16","volume-title":"Theoretical Aspects Of Object-Oriented Programming. Types, Semantics and Language Design","author":"D. R\u00e9my","year":"1993","unstructured":"R\u00e9my, D.: Type inference for records in a natural extension of ML. In: Gunter, C.A., Mitchell, J.C. (eds.) Theoretical Aspects Of Object-Oriented Programming. Types, Semantics and Language Design. MIT Press, Cambridge (1993)"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Garrigue, J., A\u00eft-Kaci, H.: The typed polymorphic label-selective \u03bb-calculus. In: Proc. ACM Symposium on Principles of Programming Languages, pp. 35\u201347 (1994)","DOI":"10.1145\/174675.174434"},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1017\/S0956796800003683","volume":"10","author":"X. Leroy","year":"2000","unstructured":"Leroy, X.: A modular module system. Journal of Functional Programming\u00a010, 269\u2013303 (2000)","journal-title":"Journal of Functional Programming"},{"key":"3_CR19","unstructured":"Garrigue, J.: Simple type inference for structural polymorphism. In: Workshop on Foundations of Object-Oriented Languages, Portland, Oregon (2002)"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Leroy, X.: Applicative functors and fully transparent higher-order modules. In: Proc. ACM Symposium on Principles of Programming Languages, pp. 142\u2013153 (1995)","DOI":"10.1145\/199448.199476"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Ramsey, N., Fisher, K., Govereau, P.: An expressive language of signatures. In: Proc. ACM International Conference on Functional Programming (2005)","DOI":"10.1145\/1086365.1086371"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Crary, K., Harper, R., Puri, S.: What is a recursive module? In: Proc. ACM Conference on Programming Language Design and Implementation, pp. 50\u201363 (1999)","DOI":"10.1145\/301618.301641"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Russo, C.V.: Recursive structures for Standard ML. In: Proc. ACM International Conference on Functional Programming, pp. 50\u201361 (2001)","DOI":"10.1145\/507635.507644"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Nakata, K., Garrigue, J.: Recursive modules for programming. In: Proc. ACM International Conference on Functional Programming, Portland, Oregon (2006)","DOI":"10.1145\/1159803.1159813"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11924661_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:45:11Z","timestamp":1619509511000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11924661_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540489375","9783540489382"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11924661_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}