A framework for type inference with subtyping

@inproceedings{Pottier1998AFF,
  title={A framework for type inference with subtyping},
  author={François Pottier},
  booktitle={ICFP '98},
  year={1998}
}
In type systems based on subtyping, type equality is replaced with subtyping, which is a less restrictive relationship. The idea is, if 71 is a subtype of ~2, then a value of type ~1 can be transparently supplied wherever a value of type r~ is expected. Subtyping has been used as a key concept to create formal type systems for object-oriented languages. These systems often require the programs to be annotated with user-supplied type information. Being able to omit this information--or at least… CONTINUE READING

Figures and Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 32 CITATIONS