Type checking in the large

  • Michael R. Levy
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 371)


  1. 1.
    Michael R. Levy Type checking, separate compilation and reusability. In Proc. of the SIGPLAN '84 Conf. on Compilers, pp 285–289, June 1984,Montreal.Google Scholar
  2. 2.
    R. Milner. A theory of type polymorphism in programming. J. Computer and Systems Sciences, 17:348–375, 1978.Google Scholar
  3. 3.
    Sophia Drossopoulou. Private Communication.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Michael R. Levy
    • 1
  1. 1.Department of Computer ScienceUniversity of VictoriaVictoriaCanada

Personalised recommendations