Principal type-schemes for functional programs

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

Volumn , Issue , 1982, Pages 207-212

  Damas, Luis ^a   Milner, Robin ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85027597145     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/582153.582176     Document Type: Conference Paper

References (7)

1. [LNCSn stands for Vol n, Lecture Notes in Computer Science, Springer-Verlag].
2. [Cop] M. Coppo, An extended polymorphic type system for applicative languages, (1980), LNCS 88, pp 194-204.
3. [DD] A. Demers and J. Donahue, Report on the programming language Russell, (1979), Report No. TR 79-371, Computer Science Department, Cornell University.
4. [GMW] M. Gordon, R. Milner and C. Wadsworth, (1979), Edinburgh LCF, LNCS 78.
5. [Hin] R. Hindley, The principal type-scheme of an object in Combinatory Logic, (1969), Trans AMS 146, pp 29-60.
6. [Mil] R. Milner, A theory of type polymorphism in programming (1978), JCSS 17,3, pp 348-375.
7. [Rob] J.A. Robinson, A machine-oriented logic based on the resolution principle, JACM 12,1 (1965), 23-41.