The typechecking of programs with implicit type structure

  • Nancy McCracken
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 173)


Inference System Inference Rule Type Expression Type Inference Principal Type 
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. [Coppo, et al, 1980]
    Coppo, M., Dezani-Ciancaglini, M., and Venneri, B., Principal type schemes and lambda-calculus semantics. Seldin and Hindley, eds., To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, Academic Press, London, 1980, pp. 535–560.Google Scholar
  2. [Coppo, et al, 1981]
    Coppo, M., Dezani-Ciancaglini, M., and Venneri, B., Functional characters of solvable terms. Zeitschrift fur Mathematische Logik und Grundlagen der Matematik, 1981, pp. 45–58.Google Scholar
  3. [Girard 1972]
    Girard, J.-Y. Interpretation fonctionelle et elimination des coupures dans l'arithmetique d'ordre superieur. These de Doctorat d'Etat, 1972, Paris.Google Scholar
  4. [Hindley 1969]
    Hindley, Roger, The principal type-scheme of an object in combinatory logic. Trans. Amer. Math. Society 146 (1969) 29–60.Google Scholar
  5. [Leivant 1983]
    Leivant, Daniel, Polymorphic type inference. Tenth annual symposium on principles of programming languages, Austin, Texas, 1983.Google Scholar
  6. [McCracken 1979]
    McCracken, Nancy J., An investigation of a programming language with a polymorphic type structure. Ph. D. thesis, Syracuse University, May 1979.Google Scholar
  7. [Milner 1979]
    Milner, Robin, A theory of type polymorphism in programming. Journal of Computer and Systems Sciences, 1979.Google Scholar
  8. [Reynolds 1974]
    Reynolds, John C., Towards a theory of type structure. Colloquium of Programming, Paris, 1974.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • Nancy McCracken
    • 1
  1. 1.Syracuse UniversityU.S.A.

Personalised recommendations