{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T06:14:36Z","timestamp":1784182476153,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,1,7]],"date-time":"2008-01-07T00:00:00Z","timestamp":1199664000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,1,7]]},"DOI":"10.1145\/1328438.1328480","type":"proceedings-article","created":{"date-parts":[[2008,1,7]],"date-time":"2008-01-07T09:45:40Z","timestamp":1199699140000},"page":"349-358","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Extensible encoding of type hierarchies"],"prefix":"10.1145","author":[{"given":"Hamed Seiied","family":"Alavi","sequence":"first","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Seth","family":"Gilbert","sequence":"additional","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rachid","family":"Guerraoui","sequence":"additional","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2008,1,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/67544.66950"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11785477_26"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1266894.1266937"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115297"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11785477_16"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/800070.802184"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/28395.28434"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159841"},{"key":"e_1_3_2_1_9_1","first-page":"71","volume-title":"Proceedings of the Conf\u00e9rence des Languages et Mod\u00e9les\u00e1 Objets","author":"Ducournau R.","year":"2006","unstructured":"R. Ducournau . Le hachage parfait fait-il un parfait test de sous-typage ? In Proceedings of the Conf\u00e9rence des Languages et Mod\u00e9les\u00e1 Objets , pages 71 -- 86 , 2006 . R. Ducournau. Le hachage parfait fait-il un parfait test de sous-typage? In Proceedings of the Conf\u00e9rence des Languages et Mod\u00e9les\u00e1 Objets, pages 71--86, 2006."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/828.1884"},{"key":"e_1_3_2_1_11_1","volume-title":"Smalltalk-80: The Language and its Implementation","author":"Goldberg A.","year":"1983","unstructured":"A. Goldberg and A. Robson . Smalltalk-80: The Language and its Implementation . Addison-Wesley , 1983 . A. Goldberg and A. Robson. Smalltalk-80: The Language and its Implementation. Addison-Wesley, 1983."},{"key":"e_1_3_2_1_12_1","volume-title":"Java 1.5 Language Specification","author":"Gosling J.","year":"2005","unstructured":"J. Gosling , B. Joy , G. Steele , and G. Bracha . Java 1.5 Language Specification , third edition. http:\/\/java.sun.com\/j2se\/1.5.0\/docs\/index.html, 2005 . J. Gosling, B. Joy, G. Steele, and G. Bracha. Java 1.5 Language Specification, third edition. http:\/\/java.sun.com\/j2se\/1.5.0\/docs\/index.html, 2005."},{"key":"e_1_3_2_1_13_1","volume-title":"C# Language Specification","author":"Hejlsberg C.A.","year":"2001","unstructured":"C.A. Hejlsberg and S. Wiltamuth . C# Language Specification . Microsoft Press , 2001 . C.A. Hejlsberg and S. Wiltamuth. C# Language Specification. Microsoft Press, 2001."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053377"},{"key":"e_1_3_2_1_15_1","volume-title":"Distributed Algorithms","author":"Lynch N.","year":"1996","unstructured":"N. Lynch . Distributed Algorithms . Morgan Kaufmann Publishers Inc . San Francisco, CA, USA, 1996 . N. Lynch. Distributed Algorithms. Morgan Kaufmann Publishers Inc. San Francisco, CA, USA, 1996."},{"key":"e_1_3_2_1_16_1","volume-title":"Microsoft Message Queuing","year":"2005","unstructured":"Microsoft. Microsoft Message Queuing , 2005 . Microsoft. Microsoft Message Queuing, 2005."},{"key":"e_1_3_2_1_17_1","volume-title":"http:\/\/www.microsoft.com\/net\/","author":"Framework Reference Documentation NET","year":"2005","unstructured":"NETMicrosoft. . NET Framework Reference Documentation . http:\/\/www.microsoft.com\/net\/ , 2005 . NETMicrosoft. .NET Framework Reference Documentation. http:\/\/www.microsoft.com\/net\/, 2005."},{"key":"e_1_3_2_1_18_1","unstructured":"Sun Microsystems Inc. Java Message Service -- Specification version 1.1. http:\/\/java.sun.com\/products\/jms\/docs.html 2005.  Sun Microsystems Inc. Java Message Service -- Specification version 1.1. http:\/\/java.sun.com\/products\/jms\/docs.html 2005."},{"key":"e_1_3_2_1_19_1","volume-title":"Architecture and Specification","author":"The Common Object Request MG.","year":"2001","unstructured":"O MG. The Common Object Request Broker : Architecture and Specification , 2001 . OMG. The Common Object Request Broker: Architecture and Specification, 2001."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45070-2_17"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1983.1654198"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/359863.359887"},{"key":"e_1_3_2_1_23_1","volume-title":"The C++ Programming Language","year":"2004","unstructured":"Stroustrup. The C++ Programming Language . Addison-Wesley , 2004 . Stroustrup. The C++ Programming Language. Addison-Wesley, 2004."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/263698.263730"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/504282.504290"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582434"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2005.57"}],"event":{"name":"POPL08: The 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"San Francisco California USA","acronym":"POPL08","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1328438.1328480","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1328438.1328480","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:56:07Z","timestamp":1750240567000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1328438.1328480"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,1,7]]},"references-count":27,"alternative-id":["10.1145\/1328438.1328480","10.1145\/1328438"],"URL":"https:\/\/doi.org\/10.1145\/1328438.1328480","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1328897.1328480","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2008,1,7]]},"assertion":[{"value":"2008-01-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}