Type Reconstruction with First-Class Polymorphic Values

Type Reconstruction with First-Class Polymorphic Values (1989)

by James William O'Toole, Jr. , David K. Gifford

Citations:

11 - 0 self

User correction supplied by mph

Datum	Value	Source
TITLE	Type Reconstruction with First-Class Polymorphic Values	user correction - Legacy Corrections
AUTHOR NAME	James William O'Toole, Jr.	user correction
AUTHOR NAME	David K. Gifford	user correction
AUTHOR AFFIL	MIT Laboratory for Computer Science	user correction
AUTHOR ADDR	Technology Square, Cambridge, Massachusetts 02139.	user correction
ABSTRACT	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. This type reconstruction system is an integral part of the FX-89 programming language. We present a type reconstruction algorithm for the system. The type reconstruction algorithm is proven sound and complete with respect to the formal typing rules.	user correction
YEAR	1989	user correction - Legacy Corrections
CITATIONS	21 found	ParsCit 1.0