Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Optimal Representations of Polymorphic Types with Alexander Aiken Edward L. Wimmers Jens Palsberg
 

Summary: Optimal Representations of Polymorphic Types with
Subtyping
Alexander Aiken Edward L. Wimmers Jens Palsberg
Report No. UCB/CSD­96­909
July 1996
Computer Science Division (EECS)
University of California
Berkeley, California 94720

Optimal Representations of Polymorphic Types with Subtyping
Alexander Aiken \Lambda Edward L. Wimmers y Jens Palsberg z
Abstract
Many type inference and program analysis systems include notions of subtyping and parametric
polymorphism. When used together, these two features induce equivalences that allow types to be
simplified by eliminating quantified variables. Eliminating variables both improves the readability of
types and the performance of algorithms whose complexity depends on the number of type variables.
We present an algorithm for simplifying quantified types in the presence of subtyping and prove it
is sound and complete for non­recursive and recursive types. We also show that an extension of the
algorithm is sound but not complete for a type language with intersection and union types, as well as
for a language of constrained types.

  

Source: Aiken, Alex - Department of Computer Science, Stanford University

 

Collections: Computer Technologies and Information Sciences