Tag elimination – or – type specialisation is a type-indexed effect (2000) [9 citations — 3 self]
|
Abstract:
Abstract. In response to a challenge posed by Jones (over thirteen years ago), Hughes and Danvy each proposed a different flavour 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 superfluous tags from programs. Furthermore, we give the first semantic characterisation of a "type specialising " transformation as a type-indexed effect. Our work can be viewed as a unifying synthesis of the previous works by Hughes and Danvy that has enabled new technical results and insights. Our work is novel in that it emphasises that tag elimination can be performed as an independent postprocessing phase after traditional partial evaluation. 1
Citations
| 174 | Type-directed partial evaluation – Danvy - 1996 |
| 124 | Dynamic typing in a statically typed language – Abadi, Cardelli, et al. - 1991 |
| 19 | A simple solution to type specialization – Danvy - 1998 |
