{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:25:00Z","timestamp":1725564300451},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540205364"},{"type":"electronic","value":"9783540400189"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-40018-9_25","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T23:03:20Z","timestamp":1283727800000},"page":"376-393","source":"Crossref","is-referenced-by-count":1,"title":["Extensional Polymorphism by Flow Graph Dispatching"],"prefix":"10.1007","author":[{"given":"Jun","family":"Furuse","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"Abadi, M., Cardelli, L., Pierce, B., R\u00e9my, D.: Dynamic typing in polymorphic languages. In: Proceedings of the 1992 workshop on ML and its applications (1992)"},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"Crary, K., Weirich, S., Gregory Morrisett, J.: Intensional polymorphism in type-erasure semantics. In: International Conference on Functional Programming, pp. 301\u2013312 (1998)","DOI":"10.1145\/289423.289459"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Dubois, C., Rouaix, F., Weis, P.: Extensional polymorphism. In: Proceedings of the 22th ACM Conference on Principles of Programming Languages (January 1995)","DOI":"10.1145\/199448.199473"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Duggan, D., Ophel, J.: Open and closed scopes for constrained genericity, vol.\u00a0275, pp. 215\u2013258 (2002)","DOI":"10.1016\/S0304-3975(01)00129-3"},{"key":"25_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"Summer School on Generic Programming","author":"R. Hinze","year":"2002","unstructured":"Hinze, R., Jeuring, J.: Generic Haskell: Practice and theory. In: Summer School on Generic Programming. LNCS, Springer, Heidelberg (2002)"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Hudak, P., Jones, S.P., Wadler, P.: Report on the programming language Haskell, version 1.2. Technical report, Yale University (1992)","DOI":"10.1145\/130697.130699"},{"key":"25_CR7","unstructured":"Jones, M.P., Peterson, J.C.: Hugs 98: A functional programming system based on haskell 98 - user manual (1998)"},{"issue":"4","key":"25_CR8","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1017\/S0956796800000848","volume":"3","author":"X. Leroy","year":"1994","unstructured":"Leroy, X., Mauny, M.: Dynamics in ML. Journal of Functional Programming\u00a03(4), 431\u2013463 (1994)","journal-title":"Journal of Functional Programming"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Odersky, M., Wadler, P., Wehr, M.: A second look at overloading. In: Functional Programming Languages and Computer Architecture, pp. 135\u2013146 (1995)","DOI":"10.1145\/224164.224195"},{"issue":"6","key":"25_CR10","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(6), 844\u2013895 (1995)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"25_CR11","unstructured":"Shields, M.B., Peyton Jones, S.L.: First class modules for Haskell. In: 9th International Conference on Foundations of Object-Oriented Languages (FOOL 9), Portland, Oregon, January 2002, pp. 28\u201340 (2002)"},{"issue":"4","key":"25_CR12","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/BF01018828","volume":"8","author":"A.K. Wright","year":"1995","unstructured":"Wright, A.K.: Simple imperative polymorphism. Lisp and Symbolic Computation\u00a08(4), 343\u2013355 (1995)","journal-title":"Lisp and Symbolic Computation"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40018-9_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,3]],"date-time":"2019-06-03T21:14:20Z","timestamp":1559596460000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40018-9_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205364","9783540400189"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40018-9_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}