{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:35:40Z","timestamp":1725615340452},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540647379"},{"type":"electronic","value":"9783540690641"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0054092","type":"book-chapter","created":{"date-parts":[[2006,7,6]],"date-time":"2006-07-06T15:03:10Z","timestamp":1152198190000},"page":"186-211","source":"Crossref","is-referenced-by-count":34,"title":["Predicate dispatching: A unified theory of dispatch"],"prefix":"10.1007","author":[{"given":"Michael","family":"Ernst","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Craig","family":"Kaplan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Craig","family":"Chambers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,25]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Eric Amiel, Olivier Gruber, and Eric Simon. Optimizing multi-method dispatch using compressed dispatch tables. In Proceedings OOPSLA '94, pages 244\u2013258, Portland, OR, October 1994.","DOI":"10.1145\/191080.191117"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Daniel G. Bobrow, Ken Kahn, Gregor Kiczales, Larry Masinter, Mark Stefik, and Frank Zdybel. Commonloops: Merging lisp and object-oriented programming. In Proceedings OOPSLA '86, pages 17-29, November 1986. Published as ACM SIGPLAN Notices, volume 21, number 11.","DOI":"10.1145\/28697.28700"},{"key":"9_CR3","first-page":"33","volume-title":"LNCS 615","author":"C. Chambers","year":"1992","unstructured":"Craig Chambers. Object-oriented multi-methods in Cecil. In O. Lehrmann Madsen, editor, Proceedings ECOOP '92, LNCS 615, pages 33\u201356, Utrecht, The Netherlands, June 1992. Springer-Verlag."},{"key":"9_CR4","unstructured":"Craig Chambers. The Cecil language: Specification and rationale. Technical Report UW-CSE-93-03-05, Department of Computer Science and Engineering. University of Washington, March 1993."},{"key":"9_CR5","first-page":"268","volume-title":"LNCS 707","author":"C. Chambers","year":"1993","unstructured":"Craig Chambers. Predicate classes. In O. Nierstrasz, editor, Proceedings ECOOP '93, LNCS 707, pages 268\u2013296, Kaiserslautern, Germany, July 1993. Springer-Verlag."},{"issue":"6","key":"9_CR6","doi-asserted-by":"publisher","first-page":"805","DOI":"10.1145\/218570.218571","volume":"17","author":"C. Chambers","year":"1995","unstructured":"Craig Chambers and Gary T. Leavens. Typechecking and modules for multi-methods. ACM Transactions on Programming Languages and Systems, 17(6):805\u2013843, November 1995.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"9_CR7","first-page":"408","volume-title":"LNCS 821","author":"W. Chen","year":"1994","unstructured":"Weimin Chen, Volker Turau, and Wolfgang Klas. Efficient dynamic lookup strategy for multi-methods. In M. Tokoro and R. Pareschi, editors, Proceedings ECOOP '94, LNCS 821, pages 408\u2013431, Bologna, Italy, July 1994. Springer-Verlag."},{"key":"9_CR8","unstructured":"J. Hamer, J.G. Hosking, and W.B. Mugridge. A method for integrating classification within an object-oriented environment. Technical Report Auckland Computer Science Report No. 48, Department of Computer Science, University of Auckland, October 1990."},{"key":"9_CR9","first-page":"345","volume":"3","author":"J.G. Hosking","year":"1990","unstructured":"J.G. Hosking, J. Hamer, and W.B. Mugridge. Integrating functional and object-oriented programming. In Technology of Object-Oriented Languages and Systems TOOLS 3, pages 345\u2013355, Sydney, 1990.","journal-title":"Technology of Object-Oriented Languages and Systems TOOLS"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Paul Hudak, Simon Peyton Jones, Philip Wadler, Brian Boutel, Jon Fairbairn, Joseph Fasel, Maria Guzman, Kevin Hammond, John Hughes, Thomas Johnsson, Dick Kieburtz, Rishiyur Nikhil, Will Partain, and John Peterson. Report on the programming language Haskell, version 1.2. SIGP-LAN Notices, 27(5), May 1992.","DOI":"10.1145\/130697.130699"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Paris C. Kanellakis and John C. Mitchell. Polymorphic unification and ML typing. In ACM-SIGPLAN ACM-SIGACT, editor, Conference Record of the 16th Annual ACM Symposium on Principles of Programming Languages (POPL '89), pages 105\u2013115, Austin, TX, USA, January 1989. ACM Press.","DOI":"10.1145\/75277.75286"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Gregor Kiczales and Luis Rodriguez. Efficient method dispatch in PCL. Technical Report SSL 89-95, Xerox PARC Systems Sciences Laboratory, 1989.","DOI":"10.1145\/91556.91600"},{"key":"9_CR13","first-page":"307","volume-title":"LNCS 512","author":"W. B. Mugridge","year":"1991","unstructured":"Warwick B. Mugridge, John Hamer, and John G. Hosking. Multi-methods in a statically-typed programming language. In P. America, editor, Proceedings ECOOP '91, LNCS 512, pages 307\u2013324, Geneva, Switzerland, July 15\u201319 1991. Springer-Verlag."},{"key":"9_CR14","unstructured":"Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT Press, 1990."},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Martin Odersky and Philip Wadler. Pizza into Java: Translating theory into practice. In Conference Record of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 146\u2013159, January 1997.","DOI":"10.1145\/263699.263715"},{"key":"9_CR16","volume-title":"Common Lisp: The Language","author":"G. L. Steele Jr","year":"1990","unstructured":"Guy L. Steele Jr. Common Lisp: The Language. Digital Press, Bedford, MA, 1990. Second edition.","edition":"Second edition"},{"key":"9_CR17","unstructured":"Antero Taivalsaari. Object-oriented programming with modes. Journal of Object-Oriented Programming, pages 25\u201332, June 1993."},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Philip Wadler. Views: A way for pattern matching to cohabit with data abstraction. In Proceedings of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, pages 307\u2013313, Munich, Germany, January 1987.","DOI":"10.1145\/41625.41653"},{"key":"9_CR19","volume-title":"Technical Report AI93-200","author":"J. M. Zelle","year":"1993","unstructured":"John M. Zelle. Learning search-control heuristics for logic programs: Applications tospeed-up learning and languageacquisitions. Technical Report AI93-200, University of Texas, Austin, May 1, 1993."}],"container-title":["Lecture Notes in Computer Science","ECOOP\u201998 \u2014 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0054092","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,7]],"date-time":"2023-05-07T23:48:31Z","timestamp":1683503311000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0054092"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540647379","9783540690641"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0054092","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}