{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T04:21:31Z","timestamp":1778300491935,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540584858","type":"print"},{"value":"9783540490050","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58485-4_34","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:28:32Z","timestamp":1330273712000},"page":"78-100","source":"Crossref","is-referenced-by-count":36,"title":["Constraint-based type inference and parametric polymorphism"],"prefix":"10.1007","author":[{"given":"Ole","family":"Agesen","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"5_CR1","volume-title":"How to use Self 3.0 & The Self 3.0 Programmer's Reference Manual","author":"O. Agesen","year":"1993","unstructured":"Agesen, O., L. Bak, C. Chambers, B.W. Chang, U. H\u00f6lzle, J. Maloney, R.B. Smith, D. Ungar, M. Wolczko. How to use Self 3.0 & The Self 3.0 Programmer's Reference Manual. 1993. Sun Microsystems Laboratories, 2550 Garcia Avenue, Mountain View, CA 94043, USA. Available by anonymous ftp from self.stanford.edu or www: http:\/\/self.stanford.edu\/."},{"key":"5_CR2","volume-title":"LNCS 707","author":"O. Agesen","year":"1993","unstructured":"Agesen, O., J. Palsberg, and M.I. Schwartzbach, Type Inference of Self: Analysis of Objects with Dynamic and Multiple Inheritance. In ECOOP '93, Seventh European Conference on Object-Oriented Programming. 1993. Kaiserslautern. Springer-Verlag (LNCS 707)."},{"key":"5_CR3","unstructured":"Agesen, O. and D. Ungar, Sifting Out the Gold: Delivering Compact Applications from an Object-Oriented Exploratory Programming Environment. To be presented at OOPSLA'94."},{"issue":"1\u20133","key":"5_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0167-6423(91)90035-V","volume":"17","author":"A. Bondorf","year":"1991","unstructured":"Bondorf, A., Automatic Autoprojection of Higher Order Recursive Equations. In Science of Computer Programming, 17(1\u20133), 1991, p. 3\u201334.","journal-title":"Science of Computer Programming"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Chambers, C., D. Ungar, and E. Lee, An Efficient Implementation of SELF, a Dynamically-Typed Object-Oriented Language Based on Prototypes. In OOPSLA '89, Object-Oriented Programming Systems, Languages and Applications. 1989. New Orleans, LA. Also published in Lisp and Symbolic Computation 4(3), Kluwer Academic Publishers, June, 1991.","DOI":"10.1007\/BF01806108"},{"key":"5_CR6","volume-title":"Technical Report UIUCDCS-R-93-1815","author":"A.A. Chien","year":"1993","unstructured":"Chien, A.A., V. Karamcheti, and J. Plevyak, The Concert System \u2014 Compiler and Run-time Support for Efficient, Fine-Grained Concurrent Object-Oriented Programs. Department of Computer Science, University of Illinois Urbana-Champaign, Technical Report UIUCDCS-R-93-1815,1993."},{"key":"5_CR7","unstructured":"Consel, C., Polyvariant Binding-Time Analysis For Applicative Languages, ACM-PEPM'93, Copenhagen, Denmark."},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Cousot, P. and R. Cousot, Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In Symposium on Principles of Programming Languages. 1977.","DOI":"10.1145\/512950.512973"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Graver, J.O. and R.E. Johnson, A Type System for Smalltalk. In Seventeenth Symposium on Principles of Programming Languages. 1990. ACM Press.","DOI":"10.1145\/96709.96722"},{"issue":"3","key":"5_CR10","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1145\/151640.151643","volume":"1","author":"M.W. Hall","year":"1992","unstructured":"Hall, M.W., and K. Kennedy, Efficient Call Graph Analysis. ACM Letters on Programming Languages and Systems, 1992. 1(3) p. 227\u2013242.","journal-title":"ACM Letters on Programming Languages and Systems"},{"key":"5_CR11","unstructured":"Hense, A.V., Polymorphic Type Inference for a Simple Object Oriented Programming Language With State. Tech. Bericht Nr. A 20\/90 (Technical Report), Universit\u00e4t des Saarlandes, 1990."},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"H\u00f6lzle, U. and D. Ungar, Optimizing Dynamically-Dispatched Calls with Run-Time Type Feedback. To appear in PLDI'94, June 1994.","DOI":"10.1145\/178243.178478"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Johnson, R.E., Type-Checking Smalltalk. In OOPSLA '86 Object-Oriented Programming Systems, Languages and Applications. 1986.","DOI":"10.1145\/28697.28728"},{"key":"5_CR14","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"Milner, R., A Theory of Type Polymorphism in Programming. Journal of Computer and System Sciences, 17, 1978, p. 348\u2013375.","journal-title":"Journal of Computer and System Sciences"},{"key":"5_CR15","volume-title":"LNCS 615","author":"N. Oxh\u00f8j","year":"1992","unstructured":"Oxh\u00f8j, N., J. Palsberg, and M.I. Schwartzbach, Making Type Inference Practical. In ECOOP '92, Sixth European Conference on Object-Oriented Programming. 1992. Utrecht, The Netherlands. Springer-Verlag (LNCS 615)."},{"key":"5_CR16","volume-title":"Object-Oriented Type Inference","author":"J. Palsberg","year":"1991","unstructured":"Palsberg, J., and M.I. Schwartzbach, Object-Oriented Type Inference. In OOPSLA'91, ACM SIGPLAN Sixth Annual Conference on Object-Oriented Programming Systems, Languages and Applications. 1991. Phoenix, Arizona."},{"key":"5_CR17","volume-title":"Technical Report, Daimi PB-386","author":"J. Palsberg","year":"1992","unstructured":"Palsberg, J., and M.I. Schwartzbach, Polyvariant Analysis of the Untyped Lambda Calculus. Technical Report, Daimi PB-386, Computer Science Department, Aarhus University, Denmark, 1992."},{"key":"5_CR18","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/0020-0190(92)90196-3","volume":"43","author":"J. Palsberg","year":"1992","unstructured":"Palsberg, J., and M.I. Schwartzbach, Safety Analysis versus Type Inference for Partial Types. Information Processing Letters, 43, 1992, p. 175\u2013180.","journal-title":"Information Processing Letters"},{"key":"5_CR19","volume-title":"Static Typing Without Explicit Types","author":"G. Phillips","year":"1994","unstructured":"Phillips, G., and T. Shepard, Static Typing Without Explicit Types. Submitted for publication. Dept. of Electrical and Computer Engineering, Royal Military College of Canada, Kingston, Ontario, Canada, 1994."},{"key":"5_CR20","volume-title":"Technical Report UIUCDCS-R-93-1829","author":"J. Plevyak","year":"1993","unstructured":"Plevyak, J.. and A.A. Chien, Incremental Inference of Concrete Types, Department of Computer Science, University of Illinois Urbana-Champaign, Technical Report UIUCDCS-R-93-1829,1993."},{"key":"5_CR21","volume-title":"M.Sc. thesis 88-7-2, DIKU","author":"P. Sestoft","year":"1988","unstructured":"Sestoft, P., Replacing Function Parameters by Global Variables, M.Sc. thesis 88-7-2, DIKU, University of Copenhagen, Denmark, 1988."},{"key":"5_CR22","first-page":"39","volume-title":"Replacing Function Parameters by Global Variables","author":"P. Sestoft","year":"1989","unstructured":"Sestoft, P., Replacing Function Parameters by Global Variables. Proceedings of the Fourth International Conference on Functional Programming and Computer Architecture, London, UK, p. 39\u201353, ACM Press, September 1989."},{"key":"5_CR23","volume-title":"Ph.D. thesis","author":"O. Shivers","year":"1991","unstructured":"Shivers, O., Control-Flow Analysis of Higher-Order Languages, Ph.D. thesis. School of Computer Science, Carnegie-Mellon University, Pittsburgh, PA 15213. 1991."},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Ungar, D. and R.B. Smith, SELF: The Power of Simplicity. Lisp and Symbolic Computing, 4(3), Kluwer Academic Publishers, June 1991. Originally published in OOPSLA '87, Object-Oriented Programming Systems, Languages and Applications, p. 227\u2013241, 1987.","DOI":"10.1145\/38765.38828"},{"key":"5_CR25","doi-asserted-by":"crossref","first-page":"115","DOI":"10.3233\/FI-1987-10202","volume":"X","author":"M. Wand","year":"1987","unstructured":"Wand, M., A Simple Algorithm and Proof for Type Inference. Fundamenta Informaticae, X, 1987, p. 115\u2013121.","journal-title":"Fundamenta Informaticae"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58485-4_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T07:48:34Z","timestamp":1640936914000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58485-4_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584858","9783540490050"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-58485-4_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}