A proper extension of ML with an effective type-assignment

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn Part F130193, Issue , 1988, Pages 58-69

  Kfoury, A J ^a   Tiuryn, J ^b,c   Urzyczyn, P ^c  

^a BOSTON UNIVERSITY   (United States)

^b WASHINGTON STATE UNIVERSITY   (United States)

^c UNIVERSITY OF WARSAW   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

FUNCTIONAL LANGUAGES; POLYMORPHIC TYPES; RIGHT-HAND SIDES;

EID: 26844562656     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/73560.73565     Document Type: Conference Paper

References (11)

1. Cardelli, L., "Basic polymorphic typechecking", Polymorphism, Vol. II, No. 1, Jan. 1985.
2. Clement, D., Despeyroux, J., Despeyroux, T., Kahn, G., "A simple applicative language: Mini-ML", Proc. ACM Conference on Lisp and Functional Programming, pp 13-27, 1986.
3. Cardelli, L. and Wegner, P., "On understanding types, data abstraction, and polymorphism", Computing Surveys, Vol. 17, No. 4, pp 471-522, December 1985.
4. Damas, L. and Milner, R., "Principal type schemes for functional programs", Proc. 9-th ACM Symp. Principles of Prog. Lang., pp 207-212, 1982.
5. Gordon, M.J., Milner, R. and Wadsworth, C.P., Edinburgh LCF, LNCS 78, Springer-Verlag, 1979.
6. Kfoury, A., Tiuryn, J. and Urzyczyn, P., "The hierarchy of finitely typed functional programs", Proc. 2-nd Symp. on Logic in Computer Science, pp 225-236, June 1987.
7. Kfoury, A., Tiuryn, J. and Urzyczyn, P., "A proper extension of ML with an effective type-assignment", unpublished manuscript, July 1987.
8. Kfoury, A., "An improved polymorphic type discipline" , under preparation.
9. Milner, R., "A theory of type polymorphism in programming" , J. of Computer and System Sciences, Vol. 17, pp 348-375, 1978.
10. Mycroft, A., "Polymorphic type schemes and recursive definitions", Int'l Symp. on Programming, ed. M. Paul and B. Robinet, LNCS Vol 167, Springer-Verlag, pp 217-228, 1984.
11. Peyton Jones, S.L., The Implementation of Functional Programming Languages, Prentice-Hall, 1987.