{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:09:01Z","timestamp":1729631341820,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/tools.2000.891369","type":"proceedings-article","created":{"date-parts":[[2002,11,7]],"date-time":"2002-11-07T21:03:12Z","timestamp":1036702992000},"page":"190-201","source":"Crossref","is-referenced-by-count":0,"title":["Match-O, a dialect of Eiffel with match-types"],"prefix":"10.1109","author":[{"given":"D.","family":"Colnet","sequence":"first","affiliation":[]},{"given":"L.","family":"Liquori","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","journal-title":"Journal of Functional Programming","key":"ref5b"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1145\/203095.203096"},{"year":"1996","author":"castagna","journal-title":"Theory of Progress in Scientific Computing","key":"ref11"},{"key":"ref12","first-page":"67","article-title":"Type Inference for Late Binding. The SmallEiffel Compiler","volume":"1204","author":"collin","year":"1997","journal-title":"Proceedings of JMLC"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/TOOLS.1999.779065"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1145\/96709.96721"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1093\/comjnl\/32.4.305"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1007\/3-540-60249-6_40"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1007\/BFb0053055"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1007\/BFb0053378"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1007\/BFb0027786"},{"key":"ref4","article-title":"The Hopkins Object Group","volume":"1","author":"bruce","year":"1996","journal-title":"Theory and Practice of Object Systems"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1145\/263698.263728"},{"key":"ref3","first-page":"104","article-title":"Subtyping is not a Good Match for Object-oriented Programming Languages","volume":"1241","author":"bruce","year":"1997","journal-title":"Proc of ECOOP"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1017\/S0956796800001039"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1007\/3-540-49538-X_3"},{"key":"ref7","first-page":"523","article-title":"A Statically Safe Alternative to Virtual Types","volume":"1445","author":"bruce","year":"1998","journal-title":"Proc of ECOOP"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"325","DOI":"10.3233\/FI-1999-38401","article-title":"Subtyping for Extensible, Incomplete Objects","volume":"38","author":"bono","year":"1999","journal-title":"Fundamenta Informaticae"},{"year":"1998","author":"burstein","journal-title":"Rupiah an Extension to Java Supporting Match-bounded Parametric Polymorphism","key":"ref9"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8598-9","author":"abadi","year":"1996","journal-title":"A Theory of Objects"},{"year":"1993","author":"madsen","journal-title":"Object-Oriented Programming in the BETA Programming Language","key":"ref20"},{"key":"ref22","first-page":"200","article-title":"From Classes to Objects via Subtyping","volume":"1381","author":"r\ufffdmy","year":"1998","journal-title":"Proceedings of ESOP"},{"year":"1994","author":"meyer","journal-title":"Eiffel The Language","key":"ref21"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1006\/inco.2001.3048"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1006\/inco.2000.2925"},{"key":"ref26","article-title":"Virtual Types are Statically Safe","author":"togersen","year":"1998","journal-title":"Electronic Proc of FOOL-7"},{"key":"ref25","first-page":"444","article-title":"Genericity in Java with Virtual Types","volume":"1241","author":"thorup","year":"1997","journal-title":"Proc of ECOOP"},{"doi-asserted-by":"publisher","key":"ref5a","DOI":"10.1145\/158511.158650"}],"event":{"acronym":"TOOLS37-00","name":"37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000","location":"Sydney, NSW, Australia"},"container-title":["Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7163\/19277\/00891369.pdf?arnumber=891369","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,10]],"date-time":"2020-03-10T21:39:29Z","timestamp":1583876369000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/891369\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/tools.2000.891369","relation":{},"subject":[]}}