[1] Bellia M., Occhiuto E. - Higher Order Programming through Java Reflection - CS&P, 2004, pp. 447-459.

106

Bibliografia

[1] Bellia M., Occhiuto E. - Higher Order Programming through Java Reflection - CS&P, 2004, pp. 447-459.

[2] Bellia M., Occhiuto E. - Higher Order Programming in Java: Introspection, Subsumption and Extraction - Fundamenta Informaticae 67, 2005, pp. 29-44.

[3] Appel, Andrew W. - Modern Compiler Implementation in Java - Cambridge University Press, 1998.

[4] Lloyd, J.W. - Foundations of Logic Programming - Springer-Verlag Berlin Heidelberg New York Tokyo, 1984.

[5] Aho A., Sethi R., Ullman J. - Compilers Principles, Techniques and Tools - Addison-Wesley, 1986.

[6] Abadi M., Cardelli L. - A theory of objects - Springer-Verlag Berlin Heidelberg New York, 1996 .

[7] Huet, G. P. - Resolution d’equations dans les langages d’ordre 1,2,……ω - Tesi di dottorato, Université Paris VII, 1976.

[8] Huet, G. P. - A unification algorithm for typed λ-calculus - Theoretical Computer Science I (1975) pp. 27-57, North-Holland Publishing Company.

[9] Robinson, J. A. - Theorem-proving on the computer - Journal of the Association

for Computing Machinery, Vol. 10 (Aprile 1963) pp. 163-174.

107

[10] Robinson, J. A. - A machine-oriented logic based on the Resolution Principle - Journal of the Association for Computing Machinery, Vol. 12, No. 1 (Gennaio 1965) pp. 23-41.

[11] Pierce, B. C. - Types and Programming Languages - MIT Press, 2002.

[12] Cardelli L., Martini S., Mitchell T. - An extension of System F with subtyping - Lecture Notes in Computer Science, No. 526, pp. 750 - 770, Springer-Verlag, 1991.

[13] Cardelli, L. - Type Systems - CRC Handbook of Computer Science and Engineering, Ch. 140, CRC Press, 1996.

[14] Cardelli, L. - Basic Polymorphic Typechecking - Science of Computer Programming 8/2, 1987, pp. 147-172

[15] Deitel H. M., Deitel P. J. - Java, Tecniche avanzate di programmazione - Apogeo, 2001.

[16] Vaughan, J. - A proof of correctness for the Hindley-Milner type inference algorithm - 5 Maggio 2005, University of Pennsylvania, www.seas.upenn.edu/~vaughan2/.

[17] Eckstein R., Loy M., Wood D. - Java Swing - O’Really, 1998.

[18] Robinson M., Vorobiev P. - Manning Swing - Manning Pubblications Company, 2003.

[19] Horstmann S., Connell G. - Java 2 Tecniche avanzate 5

Edizione - McGraw-

Hill, Aprile 2002.

108

[20] Pinson J., Wiener R. S. - An introduction to Object-Oriented Programming and Smalltalk - Addison-Wesley, 1998.

[21] Lewis, S. - The Art and Science of Smalltalk - Prentice Hall, 1995.

[22] Hunt, J. - Smalltalk and Object Orientation: An introduction - Springer, 1997.

[23] Ducasse, S. - Object-Oriented Design with Smalltalk: A pure Object language and its Environment - Pubblicazioni University of Bern, 2000/2001.

[24] Sharp, A. - Smalltalk by Example – The Developer’s Guide - McGraw-Hill, 1997.

[25] Mitchell J., Gunter C. - Theoretical Aspects of Object-Oriented Programming:

Types, Semantics and Language Design - The MIT Press, 1994.

[26] Milner R., Tofte M. - Commentary on Standard ML - The MIT Press, 1991.

[27] Damiani F., Giannini P. - An Inference Algorithm for Strictness - Lecture Notes in Computer Science, No. 1210, pp. 129-146, Springer-Verlag, 1997.

[28] Pratt W. - Linguaggi di Programmazione - Edizione italiana a cura di Paolo Ciancarini, Gruppo Editoriale Jackson, 1988.

[29] Mitchell J. - Foundations for Programming Languages - The MIT Press, 1996.

[30] Wand M. - A Simple Algorithm and Proof for Type Inference - Fundamenta

Informaticae 10, 1987, pp. 115-122.

109

[31] Sethi, R. - Programming Languages: Concepts and Constructs, 2nd Edition - Addison-Wesley, 1996.

[32] Milner, R. - A Theory of Type Polymorphism in Programming - Journal of Computer and System Sciences, No. 17, 1978, pp. 348-375.

[33] Cardelli, L. - Typechecking Dependent Types and Subtypes - Lecture Notes in Computer Science, No. 306, 1986, pp. 45-57.

[34] Cardelli, L. - Phase Distinctions in Type Theory – Manuse’ript, 1988.

[35] Eder, E. - Properties of Substitions and Unifications – Volume 1, Marzo 1985, pp. 31-46.

[36] Cardelli L., Wegner P. - On Understanding Types, Data Abstraction, and Polymorphism – Computing Surveys, Vol. 17 n. 4, 1985, pp. 471-522.

[37] Heeren B., Hage J., Swierstra D. - Generalizing Hindley-Milner Type Inference Algorithms - Technical-Report, Utrecht University, 2002.

[38] Pierce B., Turner D. - Local Type Inference - Proceedings of the 25

ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 252- 265, ACM Press, 1998.

[39] Hosoya H., Pierce B. - How Good is Local Type Inference? - Technical-Report, University of Pennsylvania, Giugno 1999.

[40] Cardelli L. - Typeful Programming - In E.J. Neuhold and M. Paul, editors,

Formal Description of Programming Concepts, IFIP State of the Art Reports, pp 431-

507, Springer-Verlag, New York, 1991.