{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:56Z","timestamp":1725665036468},"publisher-location":"Berlin, Heidelberg","reference-count":44,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540632375"},{"type":"electronic","value":"9783540692393"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63237-9_16","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:20:42Z","timestamp":1330298442000},"page":"1-20","source":"Crossref","is-referenced-by-count":2,"title":["Introducing CLOVER: An object-oriented functional language"],"prefix":"10.1007","author":[{"given":"Lee","family":"Braine","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"Clack","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"1_CR1","volume-title":"Computer Science Division","author":"A. Aiken","year":"1995","unstructured":"Aiken, A., Fahndrich, M.: Dynamic Typing and Subtype Inference. Technical Report, Computer Science Division, University of California, Berkeley, (1995)"},{"key":"1_CR2","unstructured":"Agha, G., Hewitt, C.: Actors: A Conceptual Foundation for Concurrent Object-Oriented Programming. In Shriver & Wegner (Eds), Research Directions in Object-Oriented Programming, MIT Press, (1987) 47\u201374"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Aiken, A., Murphy, B.: Static Type Inference in a Dynamically Typed Language. Technical Report, IBM Almaden Research Centre, (1990)","DOI":"10.1145\/99583.99621"},{"issue":"3-4","key":"1_CR4","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/0743-1066(93)90043-G","volume":"16","author":"H. Ait-Kaci","year":"1993","unstructured":"Ait-Kaci, H., Podelski, A.: Towards a Meaning of LIFE. Journal of Logic Programming, 16(3-4), (1993) 195\u2013234","journal-title":"Journal of Logic Programming"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Aiken, A., Wimmer, E.: Type Inclusion Constraints and Type Inference. Technical Report, IBM Almaden Research Center, (1993)","DOI":"10.1145\/165180.165188"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Aiken, A., Wimmers, E.: Soft Typing with Conditional Types. In Proc. 21st POPL, (1994)","DOI":"10.1145\/174675.177847"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Bobrow, D., DeMichiel, L., et al.: Common Lisp Object System Specification. SIGPLAN Notices v23, (1988)","DOI":"10.1145\/885631.885632"},{"key":"1_CR8","unstructured":"Berger, E.: FP + OOP=Haskell. Technical Report, Department of Computer Science, University of Texas at Austin, (1992)"},{"issue":"9","key":"1_CR9","first-page":"28","volume":"34","author":"D. Bobrow","year":"1991","unstructured":"Bobrow, D., Gabriel, R., White, J.: CLOS: Integrating Object-Oriented and Functional Programming. CACM 34(9), (1991) 28\u201338","journal-title":"CACM"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Bobrow, D., Kahn, K., et al.: CommonLOOPS: Merging Lisp and Object-Oriented Programming. In Proc. ACM OOPSLA, (1986)","DOI":"10.1145\/28697.28700"},{"key":"1_CR11","unstructured":"Bourdoncle, F., Merz, S.: Primitive subtyping \u2227 implicit polymorphism \u2212 object-orientation. In Proc. 3rd FOOL, (1996)"},{"key":"1_CR12","unstructured":"Booch, G.: Object-Oriented Analysis and Design with Applications, Second Edition. Benjamin-Cummings, (1994)"},{"key":"1_CR13","unstructured":"Budd, T.: Multiparadigm Programming in Leda. Addison-Wesley, (1995)"},{"key":"1_CR14","unstructured":"Cannon, H.: Flavors: A non-hierarchical approach to object-oriented programming. Symbolics Inc., (1982)"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Cardelli, L.: A Semantics of Multiple Inheritance. In Proc. Intl. Symposium on Semantics of Data Types, (1984) 51\u201367","DOI":"10.1007\/3-540-13346-1_2"},{"issue":"3","key":"1_CR16","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1145\/203095.203096","volume":"17","author":"G. Castagna","year":"1995","unstructured":"Castagna, G.: Covariance and Contravariance: Conflict without a Cause. ACM TOPLAS, 17(3), (1995) 431\u2013447","journal-title":"ACM TOPLAS"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Canning, P., Cook, W., et al.: F-Bounded Polymorphism for Object-Oriented Programming. In Proc. FPCLA, (1989) 273\u2013280","DOI":"10.1145\/99370.99392"},{"issue":"2","key":"1_CR18","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1017\/S0956796800001337","volume":"5","author":"C. Clack","year":"1995","unstructured":"Clack, C., Clayman, S., Parrott, D.: Lexical Profiling \u2014 Theory and Practice. Journal of Functional Programming, 5(2), (1995) 225\u2013277","journal-title":"Journal of Functional Programming"},{"issue":"4","key":"1_CR19","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1017\/S0956796800000198","volume":"1","author":"L. Cardelli","year":"1991","unstructured":"Cardelli, L., Longo, G.: A Semantic Basis for Quest. Journal of Functional Programming, 1(4), (1991) 417\u2013458","journal-title":"Journal of Functional Programming"},{"key":"1_CR20","unstructured":"Caseau, Y., Laburthe, F.: Introduction to the CLAIRE Programming Language. Technical Report, LIENS, (1996)"},{"issue":"4","key":"1_CR21","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1985","unstructured":"Cardelli, L., Wegner, P.: On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4), (1985) 471\u2013522","journal-title":"Computing Surveys"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Damas, L., Milner, R.: Principal type schemes for functional programs. In Proc. 9th POPL, (1982) 207\u2013212","DOI":"10.1145\/582153.582176"},{"key":"1_CR23","unstructured":"Dami, L., Vitek, J.: Introduction to HOP, a Functional and Object-Oriented Language. Submitted for publication, (1996)"},{"key":"1_CR24","unstructured":"Drossopoulou, S., Yang, D.: ST&T: Smalltalk with Types. Technical Report DOC 94\/11, Imperial College, (1994)"},{"key":"1_CR25","unstructured":"Drossopoulou, S., Yang, D.: Permissive Types. Proc. 3rd FOOL, (1996)"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Gelernter, D., Jagannathan, S., London, T.: Environments as First Class Objects. In Proc. 14th POPL, (1987) 98\u2013100","DOI":"10.1145\/41625.41634"},{"key":"1_CR27","unstructured":"Goldberg, A., Robson, D.: Smalltalk-80: The Language and its Implementation. Addison-Wesley, (1983)"},{"key":"1_CR28","unstructured":"Goguen, J., Winkler, T., Meseguer, J., Futatsugi, K., Jouannaud, J.: Introducing OBJ. Tutorial and Manual, Computing Laboratory, Oxford University, (1993)"},{"key":"1_CR29","unstructured":"Hudak, P., Peyton Jones, S., Wadler, P. (Eds): Report on the Programming Language Haskell. Department of Computing Science, University of Glasgow, (1991)"},{"key":"1_CR30","unstructured":"Leroy, X.: Le systeme Caml Special Light: modules et compilation efficace en Caml. Research Report 2721, Institut National de Recherche en Informatique et Automatique (INRIA), (1995)"},{"key":"1_CR31","unstructured":"Meyer, B.: Eiffel: The Language. Prentice Hall, (1991)"},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"Mugridge, W., Hosking, J., Hammer, J.: Multi-methods in a Statically-Typed Programming Language. In Proc. ECOOP'91, (1991)","DOI":"10.1007\/BFb0057029"},{"key":"1_CR33","doi-asserted-by":"crossref","unstructured":"Mitchell, J., Meldal, S., Hadhav, N.: An Extension of Standard ML Modules with Subtyping and Inheritance. In Proc. 18th POPL, (1991)","DOI":"10.1145\/99583.99620"},{"key":"1_CR34","unstructured":"Milner, R., Tofte, M., Harper, R.: The Definition of Standard ML. MIT Press, (1990)"},{"key":"1_CR35","unstructured":"Oortmerssen, W.: The Bla Language: Extending Functional Programming with First Class Environments. Masters thesis, Department of Computational Linguistics, University of Amsterdam, (1996)"},{"key":"1_CR36","doi-asserted-by":"crossref","unstructured":"Poswig, J., Moraga, C.: Incremental type systems and implicit parametric overloading in visual languages. IEEE Symposium on Visual Languages, (1993) 126\u2013133","DOI":"10.1109\/VL.1993.269588"},{"key":"1_CR37","unstructured":"Reppy, J., Riecke, J.: Simple objects for Standard ML. In Proc. PLDI'97, (1997) 171\u2013180"},{"key":"1_CR38","doi-asserted-by":"crossref","unstructured":"Remy, D., Vouillon, J.: Objective ML: A simple object-oriented extension of ML. In Proc. 3rd FOOL, (1996)","DOI":"10.1145\/263699.263707"},{"key":"1_CR39","doi-asserted-by":"crossref","unstructured":"Sargeant, J.: Uniting Functional and Object-Oriented Programming. In Proc. ISOTAS'93, LNCS 742, Springer-Verlag, (1993) 1\u201326","DOI":"10.1007\/3-540-57342-9_63"},{"key":"1_CR40","unstructured":"Sargeant, J., Kirkham, C., Anderson, S.: The Uflow Computational Model and Intermediate Format. Technical Report UMCS-94-5-1, Department of Computer Science, University of Manchester, (1994)"},{"key":"1_CR41","unstructured":"Socorro, A.: Design, implementation and evaluation of a declarative object-oriented programming language. DPhil thesis, Computing Laboratory, University of Oxford, (1993)"},{"key":"1_CR42","unstructured":"Steele Jr, G.: Common LISP: The Language. Digital Press, (1984)"},{"key":"1_CR43","unstructured":"Turner, D.: Functional Programs as Executable Specifications. In Hoare & Shepherdson (Eds), Mathematical Logic and Programming Languages, Prentice Hall, (1985)"},{"key":"1_CR44","doi-asserted-by":"crossref","unstructured":"Wadler, P., Blott, S.: How to make ad-hoc polymorphism less ad-hoc. In Proc. 16th POPL, (1989) 60\u201376","DOI":"10.1145\/75277.75283"}],"container-title":["Lecture Notes in Computer Science","Implementation of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63237-9_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:17:34Z","timestamp":1605647854000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63237-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540632375","9783540692393"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/3-540-63237-9_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}