## Type-directed specialization of polymorphism (1999)

### Cached

### Download Links

- [www.pllab.riec.tohoku.ac.jp]
- [www.jaist.ac.jp]
- [www.kurims.kyoto-u.ac.jp]
- DBLP

### Other Repositories/Bibliography

Venue: | in Proc. International Conference on Theoretical Aspects of Computer Software, Springer LNCS 1281 |

Citations: | 6 - 1 self |

### BibTeX

@INPROCEEDINGS{Ohori99type-directedspecialization,

author = {Atsushi Ohori},

title = {Type-directed specialization of polymorphism},

booktitle = {in Proc. International Conference on Theoretical Aspects of Computer Software, Springer LNCS 1281},

year = {1999},

pages = {107--137}

}

### Years of Citing Articles

### OpenURL

### Abstract

Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, these two features conflict each other in design and implementation of a modern statically typed programming language. Flexibility is model of computation, while efficiency requires optimal use of low-level primitives specialized to individual data structures. The motivation of this work is to reconcile these two features by developing a mechanism for specializing polymorphic primitives based on static type information. We analyze the existing methods for compiling a record calculus and an unboxed calculus, extract their common structure, and develop a framework for type-directed specialization of polymorphism. 1