Conjunction-type standard ML polymorphism
Tóm tắt
Từ khóa
Tài liệu tham khảo
Bakel, Steffen van. Derivations In Type Assignment Systems.Thesis, University of Nijmegen, The Netherlands, (1988).
Barendregt, H. The Lambda Calculus. Its Syntax and Semantics.ISBN 0-444-87508-5, North-Holland Publishing Company, (1981).
Barendregt, H. et al. A Filter Lambda Model And The Completeness of Type Assignment.Journal of Symbolic Logic 48(4, December (1985).
Coppo, M. An Extended Polymorphic Type System For Applicative Languages.Lecture Notes in Computer Science 88, Rydzyna, Poland, September (1980).
Courcelle, B. Fundamental Properties Of Infinite Trees.Theoretical Computer Science 25(95–169, (1983).
Damas, L. M. M. Type Assignment in Programming Languages.CST-33-85, Department of Computer Science, University of Edinburgh, Scotland, April (1985).
Dirven, A. P. M. Composition Of A New Type Assignment Algorithm, using Turino Conjunctions of Curry Types.Thesis, University of Nijmegen, The Netherlands, (1988).
Ghosh-Roy, R. Conjunctional Polymorphism.Proceedings, The Tenth Australian Computer Science Conference, Australia, (1987).
Ghosh-Roy, R., et al. Conjunctional Polymorphism in Programming Languages.Proceedings, The ACM Computer Science Conference, Georgia, USA, February (1988).
Ghosh-Roy, R. Conjunction Type Standard ML Polymorphism.Abstract, The ACM Computer Science Conference, Washington, D.C., USA, February (1990).
MacQueen, D., et al. An Ideal Model for Recursive Polymorphic Types.Information and Control 71(95–130), (1986).
Milner, R. A Theory of Type Polymorphism in Programming.CSR-9-77, University of Edinburgh, Department of Computer Science, (1977).
Reynolds, J. C. Three Approaches to Type Structure.Lecture Notes in Computer Science 185(97–138, (1985).
Robinson, J.A. A Machine Oriented Logic Based on The Resolution Principle.Journal of The Association for Computing Machinery 12, (1965).
Rocca, S. R. D. Principal Type Scheme and Unification for Intersection Type Discipline.Internal Report, Dipartimento di Informatica — Universitdi Torino, Torino, Italy, (1988).