{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:41:19Z","timestamp":1725457279044},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540633983"},{"type":"electronic","value":"9783540695370"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0033835","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T02:27:37Z","timestamp":1134268057000},"page":"33-46","source":"Crossref","is-referenced-by-count":0,"title":["Inheritance and selective method dispatching in concurrent Haskell"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 E.","family":"Gallardo","sequence":"first","affiliation":[]},{"given":"Francisco","family":"Guti\u00e9rrez","sequence":"additional","affiliation":[]},{"given":"Blas C.","family":"Ruiz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,21]]},"reference":[{"key":"3_CR1","unstructured":"Ken Arnold and James Gosling. The Java Programming Language. Addison Wesley Longman, 1996."},{"key":"3_CR2","unstructured":"Henk Barendregt. Lambda calculi with types. Handbook of Logic in Computer Science (Abramsky et a. o., Editors.), Vol 2, Oxford Publ., p. 117\u2013309, 1992."},{"key":"3_CR3","unstructured":"Gilles Barthe. Inheritance in type theory. Research Report, Nijmegen University, September'1995."},{"issue":"2","key":"3_CR4","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1017\/S0956796800001039","volume":"4","author":"K. B. Bruce","year":"1994","unstructured":"Kim B. Bruce. A paradigmatic object-oriented programming language: Design, static typing and semantics. Journal of Functional Programming, 4(2), p. 127\u2013206, April'1994.","journal-title":"Journal of Functional Programming"},{"issue":"2","key":"3_CR5","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/0304-3975(95)00071-4","volume":"151","author":"G. Castagna","year":"1995","unstructured":"Giuseppe Castagna. A meta-language for typed object-oriented languages. Theoretical Computer Science, 151(2), p. 297\u2013352, November' 1995.","journal-title":"Theoretical Computer Science"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Svend Fr\u00f8lund. Inheritance of synchronization constraints in concurrent object-oriented programming languages. In Proceedings of ECOOP'92, LNCS 615, Springer Verlag 1992.","DOI":"10.1007\/BFb0053037"},{"key":"3_CR7","unstructured":"J. Hughes and J. Sparud. Haskell ++: An Object-Oriented Extension of Haskell. Dep. of Comp. Science, Chalmers University, April'1995."},{"issue":"1","key":"3_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0956796800001210","volume":"5","author":"M. P. Jones","year":"1995","unstructured":"Mark P. Jones. A System of Constructor Classes: overloading and implicit higher-order polymorphism. Journal of Functional Programming, 5(1), p.1\u201335, January'1995.","journal-title":"Journal of Functional Programming"},{"issue":"3","key":"3_CR9","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1017\/S0956796800001817","volume":"6","author":"K. Laufer","year":"1996","unstructured":"K. Laufer. Type Classes with Existential Types. Journal of Functional Programming, 6(3), p. 485\u2013517, May'1996.","journal-title":"Journal of Functional Programming"},{"issue":"4","key":"3_CR10","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/BF01018827","volume":"8","author":"J. Launchbury","year":"1996","unstructured":"J. Launchbury and S.L. Peyton Jones. State in Haskell. Lisp and Symbolic Computation, 8(4), p. 293\u2013341, 1996.","journal-title":"Lisp and Symbolic Computation"},{"key":"3_CR11","unstructured":"S. Matsuoka and A. Yonezawa. Analysis of Inheritance Anomaly in Object-Oriented Concurrent Programming Languages. Research Directions in Concurrent Object-Oriented Programming (Agha and al., editors), MIT-Press, 1993."},{"key":"3_CR12","unstructured":"S.E. Mitchell and A.J. Wellings. Synchronisation, Concurrent, Object-Oriented Programming and the Inheritance Anomaly. Tech.Rep., Dep. Comp. Sc., York University, June'1994."},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Eugenio Moggi. Computational lambda-calculus and monads. In Proceedings of IEEE Symposium on Logic in Computer Science, California, June' 1989.","DOI":"10.1109\/LICS.1989.39155"},{"key":"3_CR14","unstructured":"B.J. Moose and K. Hammond (editors). Report on the Programming Language Haskell, A Non-Strict Purely Functional Language, Version 1.3. Research Report YALE\/DCS\/RR-1106, Yale University, March'1996."},{"key":"3_CR15","unstructured":"Martin Odersky. Objects and Subtyping in a Functional Perspective. IBM Research Report RC 16423, January'1991"},{"issue":"2","key":"3_CR16","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1017\/S0956796800001040","volume":"4","author":"B. Pierce","year":"1994","unstructured":"B. Pierce and D. Turner. Simple type-theoretic foundations for objectoriented programming. Journal of Functional Programming, 4(2), p. 207\u2013247, April' 1994.","journal-title":"Journal of Functional Programming"},{"key":"3_CR17","unstructured":"S.P. Jones, A. Gordon and S. Finne. Concurrent Haskell. Proceedings of the 23rd ACM Symposium on POPL, Florida, January'1996."},{"key":"3_CR18","unstructured":"B.C. Ruiz, J.E. Gallardo, P. Guerrero and F. Guti\u00e9rrez. Clasificaci\u00f3n de objetos funcionales en entornos concurrentes. In Proceeding of APPIA-GULP-PRODE'96 (M. Navarro, editor), p. 581\u2013584, San Sebasti\u00e1n (Spain), 1996."},{"key":"3_CR19","unstructured":"Etsuya Shibayama. Reuse of concurrent, object, descriptions. In Proceeding of TOOLS 3 (Meyer et al., eds), p. 254\u2013266, 1990."},{"key":"3_CR20","unstructured":"F. S\u00e1nchez, J. Hern\u00e1ndez, M. Barrena and J.M. Murillo. Composici\u00f3n de restricciones de Sincronizaci\u00f3n en Lenguajes Concurrentes Orientados a Objects. In Proceeding of II Jornadas de Inform\u00e1tica (B. Clares, editor), Almu\u00f1ecar (Spain), July'1996."},{"key":"3_CR21","unstructured":"Lars Thorup and Mads Tofte. Object-Oriented Programming and Standard ML. ACM Workshop on ML and its Applications, Orlando, June' 1994."},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Philip Wadler. The essence of functional programming. In Proceeding of 19'th ACM Symposium on Principles of Programming Languages, Santa Fe, January'1992.","DOI":"10.1145\/143165.143169"},{"key":"3_CR23","unstructured":"Malcolm Wallace. Functional Programming and Embedded Systems. PhD Thesis; York University, Dp. of Computer Science, January'1995."}],"container-title":["Lecture Notes in Computer Science","Programming Languages: Implementations, Logics, and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0033835","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,6]],"date-time":"2019-02-06T11:57:02Z","timestamp":1549454222000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0033835"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633983","9783540695370"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0033835","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}