{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T22:30:15Z","timestamp":1725402615833},"reference-count":25,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/lics.2002.1029822","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T18:14:31Z","timestamp":1056564871000},"page":"125-136","source":"Crossref","is-referenced-by-count":1,"title":["Efficient type inference for record concatenation and subtyping"],"prefix":"10.1109","author":[{"given":"J.","family":"Palsberg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Tian Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"19","DOI":"10.1145\/154766.155375"},{"doi-asserted-by":"publisher","key":"17","DOI":"10.1145\/143165.143202"},{"doi-asserted-by":"publisher","key":"18","DOI":"10.1145\/360204.360230"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1109\/LICS.1993.287570"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1007\/3-540-46425-5_21"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1007\/BF01212524"},{"key":"14","article-title":"Automatic discovery of co-variant read-only fields","author":"palsberg","year":"2002","journal-title":"Proceedings of FOOL'02 Ninth International Workshop on Foundations of Object-Oriented Languages"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1145\/210184.210187"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1145\/232706.232715"},{"doi-asserted-by":"publisher","key":"21","DOI":"10.1007\/3-540-58715-2_117"},{"year":"1997","author":"sulzmann","journal-title":"Designing record systems","key":"20"},{"doi-asserted-by":"publisher","key":"22","DOI":"10.1016\/0890-5401(91)90050-C"},{"doi-asserted-by":"publisher","key":"23","DOI":"10.1006\/inco.1994.1093"},{"year":"1995","author":"zwanenburg","journal-title":"Record concatenation with intersection types","key":"24"},{"key":"25","article-title":"A type system for record concatenation and subtyping","author":"zwanenburg","year":"1996","journal-title":"Informal proceedings of Third Workshop on Foundations of Object-Oriented Languages (FOOL 3)"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1145\/199448.199516"},{"key":"2","article-title":"Multiple inheritance in Smalltalk80","author":"borning","year":"1982","journal-title":"Proceedings of AAAI"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1006\/inco.1995.1168"},{"key":"1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8598-9","author":"abadi","year":"1996","journal-title":"A Theory of Objects"},{"key":"7","first-page":"312","article-title":"On the complexity analysis of static analyses","author":"mcallester","year":"1999","journal-title":"SAS'99 Proceedings of the 6th International Symposium on Static Analysis"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1016\/S0022-0000(05)80051-0"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1145\/99583.99603"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1145\/353171.353192"},{"key":"9","first-page":"357","article-title":"The typed lambda-calculus with first-class processes","author":"nielson","year":"1989","journal-title":"Proc PARLE"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1016\/B978-0-444-88074-1.50024-X"}],"event":{"acronym":"LICS-02","name":"17th Annual IEEE Symposium on Logic in Computer Science","location":"Copenhagen, Denmark"},"container-title":["Proceedings 17th Annual IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8005\/22127\/01029822.pdf?arnumber=1029822","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T18:42:33Z","timestamp":1497552153000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1029822\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/lics.2002.1029822","relation":{},"subject":[]}}