{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:37:26Z","timestamp":1725489446466},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571209"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-47910-4_9","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T12:13:47Z","timestamp":1187266427000},"page":"142-160","source":"Crossref","is-referenced-by-count":2,"title":["Attaching Second-Order Types to Methods in an Object-Oriented Language"],"prefix":"10.1007","author":[{"given":"Yves","family":"Caseau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Perron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"A. Aiken, B. R. Murphy: Static Type Inference in a Dynamically Typed Language. Proc. of the 18th Symposium on Principles of Programming Languages, 1991.","DOI":"10.1145\/99583.99621"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"H. Ait-Kaci, A. Podelski. The Meaning of Life. PRL Research Report, DEC, 1990.","DOI":"10.1007\/3-540-54444-5_104"},{"key":"9_CR3","unstructured":"L. Cardelli: Typeful Programming. DEC SRC report #5, 1989."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Y. Caseau: \u201cA Model For a Reflective Object-Oriented Language,\u201d Sigplan Notices, Special Issue on Concurent Object-Oriented Programming, 1989.","DOI":"10.1145\/67386.67390"},{"key":"9_CR5","unstructured":"Y. Caseau: An Object-Oriented Language for Advanced Applications. Proc. of TOOLS USA 91, 1991."},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"P. Cousot, R. Cousot: Abstract Interpretation: A Unified Model for Static Analysis of Programs by Constructions or Approximation of Fixpoints. Proc. Fourth ACM symposium of Principles of Programming Languages, 1977.","DOI":"10.1145\/512950.512973"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"W. Cook, W. Hill, P. Canning: Inheritance is not Subtyping. Proc. of the 17th ACM Symposium on Principles of Programming Languages, San Francisco, 1990.","DOI":"10.1145\/96709.96721"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"W. Cook, J. Palsberg: A Denotational Semantics of Inheritance and its Correctness. Proc. of OOPSLA-89, New Orleans, 1989.","DOI":"10.1145\/74877.74922"},{"key":"9_CR9","unstructured":"Y. Caseau, L. Perron: A type System for Object-Oriented Database Programming and Querying Languages. Proc. of International Workshop on DataBase Programming Languages, 1991."},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"L. Cardelli, P. Wegner: On understanding types, data abstraction, and polymorphism. ACM Computing Surveys, vol 17 n. 4, 1985.","DOI":"10.1145\/6041.6042"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"C. Dony: Exception Handling and Object-Oriented Programming: Towards a Synthesis. Proc. of OOPSLA\u201990, Ottawa, 1990.","DOI":"10.1145\/97945.97984"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"D.P. Friedman, M. Wand: Reification: Reflection without Metaphysics. ACM Symposium on LISP and Functional Programming, Austin, August 1984.","DOI":"10.1145\/800055.802051"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"J. Graver, R. Johnson: A Type System for Smalltalk. Proc. of the 17th ACM Symposium on Principles of Programming Languages, San Francisco, 1990.","DOI":"10.1145\/96709.96722"},{"key":"9_CR14","unstructured":"J. Goguen, J. Meseguer: Eqlog: Equality, Types and Generic Modules for Logic Programming. In Logic Programming, Functions, Relations and Equations, Eds. D. DeGroot, G. Lindstrom, Prentice Hall, 1986."},{"key":"9_CR15","unstructured":"L. Geurts, L. Meertens, S. Pemberton: ABC Programmer\u2019s Handbook. Prentice-Hall, 1990."},{"key":"9_CR16","unstructured":"A. Goldberg, D. Robson: Smalltalk-80: The language and its implementation. Addison-Wesley, 1983."},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"F. Henglein, H. G. Mairson: The Complexity of Type Inference for Higher-Order Typed Lambda Calculi. Proc. of the 18th Symposium on Principles of Programming Languages, 1991.","DOI":"10.1145\/99583.99602"},{"key":"9_CR18","unstructured":"R. Harper, D.B. MacQueen, R. Milner: Standard ML. Report ECS-LFCS-86-2, Dept. of Computer Science, University of Edimburgh, 1986."},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"R. Johnson, J, Grauer, L. Zurawski: TS: An Optimizing Compiler for Smalltalk. OOPSLA-89, New Orleans, 1989.","DOI":"10.1145\/62083.62086"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"C. Lecluse, P. Richard: Modelling Complex Structures in Object-Oriented Databases. Proc. of ACM PODS, 1989.","DOI":"10.1145\/73721.73756"},{"key":"9_CR21","unstructured":"B. Meyer: Static Typing for Eiffel. Interactive Software Engineering, July, 1989."},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"R. Milner: A theory of type polymorphism in programming. In j. Computer and System Sciences vol 17 n. 3, 1978.","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"J. Mitchell: Towards a Typed Foundation for Method Specialization and Inheritance. Proc. of the 17th ACM Symposium on Principles of Programming Languages, San Francisco, 1990.","DOI":"10.1145\/96709.96719"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"J. Mitchell, S. Meldal, N. Madhav: An Extension of Standard ML modules with subtyping and inheritance. Proc. of the 18th Symposium on Principles of Programming Languages, 1991.","DOI":"10.1145\/99583.99620"},{"key":"9_CR25","volume-title":"Meta-level Architecture and Reflection","author":"P. Maes","year":"1988","unstructured":"P. Maes, D. Nardi: Meta-level Architecture and Reflection. Elsevier Science Publication (North Holland), 1988."},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"A. Ohori, P. Buneman: Static Type Inference for Parametric Classes. OOPSLA-89, New Orleans, 1989.","DOI":"10.1145\/74877.74923"},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"A. Ohori, P. Buneman, V. Breazu-Tannen: Database Programming in Machiavelli-a Polymorphic Language with Static Type Inference. ACM SIGMOD Conf. on Management of Data, May 1989.","DOI":"10.1145\/67544.66931"},{"key":"9_CR28","doi-asserted-by":"crossref","unstructured":"J. Palsberg, M. I. Schwartzbach: Static Typing for Object-Oriented Programming. DAIMI PB-355, June 1991.","DOI":"10.7146\/dpb.v20i355.6585"},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"J. Palsberg, M. I. Schwartzbach: Safety Analysis versus Type Inference for Partial Types. DAIMI PB-404, July 1992.","DOI":"10.7146\/dpb.v21i404.6638"},{"key":"9_CR30","doi-asserted-by":"crossref","unstructured":"U. Reddy: Objects as Closures: Abstract Semantics of Object-Oriented Languages. Proc. ACM Conference on LISP and Functional Programming, 1988.","DOI":"10.1145\/62678.62721"},{"key":"9_CR31","doi-asserted-by":"crossref","unstructured":"A. Scedrov: A Guide to Polymorphic Types. Logic and Computer Science, Academic Press, 1990.","DOI":"10.1007\/BFb0093926"},{"key":"9_CR32","doi-asserted-by":"crossref","unstructured":"G. Smolka: Logic Programming over Polymorphically Order-Sorted Types. PhD Thesis, Universit\u00e4t Kaiserslautern, May 1989.","DOI":"10.1007\/3-540-50667-5_58"},{"key":"9_CR33","unstructured":"B. Stroustrup: The C++ Programming Language. Addison-Wesley, 1986."},{"key":"9_CR34","unstructured":"A. Skarra, S. Zdonik: Type Evolution in an Object-Oriented Database. In Research Directions in Object Oriented Programming, ed. B. Schriver and P. Wegner, MIT press, 1987."},{"key":"9_CR35","unstructured":"M. Wand: Complete Type Inference for Simple Objects. Proc. IEEE Symposium on Logic in Computer Science."}],"container-title":["Lecture Notes in Computer Science","ECOOP\u2019 93 \u2014 Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47910-4_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:14:37Z","timestamp":1605647677000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47910-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540571209"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/3-540-47910-4_9","relation":{},"subject":[]}}