Tag Elimination or Type Specialisation Is a Type-indexed Eeect

@inproceedings{Taha2000TagEO,
  title={Tag Elimination or Type Specialisation Is a Type-indexed Eeect},
  author={Walid Taha and Henning Makholm},
  year={2000}
}
In response to a challenge posed by Jones (over thirteen years ago), Hughes and Danvy each proposed a di erent avour of what has been called \type specialisation". Until recently, however, there were no technical results regarding either proposal. This paper proposes a simple transformation called \Tag Elimination", and proves that it eliminates a large class of super uous tags from programs. Furthermore, we give the rst semantic characterisation of a \type specialising" transformation as a… CONTINUE READING
Highly Cited
This paper has 19 citations. REVIEW CITATIONS