Polymorphic type schemes and recursive definitions

  • Alan Mycroft
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 167)


An extension to Milner's polymorphic type system is proposed and proved correct. Such an extension appears to be necessary for the class of languages with mutually recursive top-level definitions. We can now ascribe a more general type to such definitions than before.


Type Scheme Type Rule Type Assignment Type Constructor Recursive Definition 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. /BMS/.
    Burstall, R., MacQueen, D.B. and Sannella, D.T. HOPE: an experimental applicative language. Internal report, Dept. of Computer Science, Edinburgh University, 1980.Google Scholar
  2. /DM/.
    Damas, L. and Milner, R. Principal type schemes for functional programs. Proc. 9th ACM Symp. on Principles of programming languages, 1982.Google Scholar
  3. /GMW/.
    Gordon, M., Milner, R. and Wadsworth, C. Edinburgh LCF. Springer-Verlag LNCS 78, 1979.Google Scholar
  4. /Ho/.
    Homström, S. Polymorphic type schemes and concurrent computation in functional languages. PhD thesis, Dept. of Computer Science, Chalmers TH, S-412 96 Göteborg, 1983.Google Scholar
  5. /Mi/.
    Milner, R. A theory of type polymorphism in programming. Journal of computer and system sciences, 17(3), 1978.Google Scholar
  6. /MO/.
    Mycroft, A. and O'Keefe, R.A. A polymorphic type system for Prolog. To appear in Artificial Intelligence. Preliminary version in DAI research report. Dept. of Artificial Intelligence, Edinburgh University.Google Scholar
  7. /MPS/.
    MacQueen, D.B., Plotkin, G.D. and Sethi, R. An ideal model for recursive polymorphic types. Proc. 11th ACM Symp. on Principles of programming languages, 1984.Google Scholar
  8. /MS/.
    MacQueen, D.B. and Sethi, R. A semantic model of types for applicative languages. Proc. Aspenäs workshop 1982.Google Scholar
  9. /Ro/.
    Robinson, J.A. A machine oriented logic based on the resolution principle. JACM 12(1), 1965.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • Alan Mycroft
    • 1
  1. 1.Programming Methodology GroupInstitutionen för Informationsbehandling Chalmers Tekniska HögskolaGöteborgSweden

Personalised recommendations