Polymorphic subtype inference: Closing the theory-practice gap

  • You-Chin Fuh
  • Prateek Mishra
Part of the Lecture Notes in Computer Science book series (LNCS, volume 352)


  1. [Bar84]
    H. Barendregt. The Lambda Calculus, its Syntax and Semantics. 1984.Google Scholar
  2. [FM88]
    Y-C Fuh and P Mishra. Type inference with subtypes. In ESOP-88 (Also Stony Brook TR 87/25), March, 1988.Google Scholar
  3. [Mil78]
    Robin Milner. A theory of type polymorphism in programming. In JCSS 17, 1978.Google Scholar
  4. [Mit84]
    J. C. Mitchell. Coercion and type inference. In POPL XI, 1984.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • You-Chin Fuh
    • 1
  • Prateek Mishra
    • 1
  1. 1.Department of Computer ScienceThe State University of New York at Stony BrookStony Brook

Personalised recommendations