Type Reconstruction with First-Class Polymorphic Values

  title={Type Reconstruction with First-Class Polymorphic Values},
  author={James O'Toole and David Kenneth Gifford},
We present the first type reconstruction system which combines the implicit typing of ML with the full power of the explicitly typed second-order polymorphic lambda calculus. The system will accept ML-style programs, explicitly typed programs, and programs that use explicit types for all first-class polymorphic values. We accomplish this flexibility by providing both generic and explicitly-quantified polymorphic types, as well as operators which convert between these two forms of polymorphism… CONTINUE READING
Highly Cited
This paper has 24 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-4 of 4 references

The FX-87 Reference Manual

  • D. K. Gi ord, P. Jouvelot, J. M. Lucassen, M. A. Sheldon
  • MIT/LCS/TR-407, October
  • 1987
Highly Influential
5 Excerpts

Similar Papers

Loading similar papers…