Xavier Leroy. Introduction to types in compilation. In Proceedings of the 1998 Types in Compilation workshop, volume 1473 of Lecture Notes in Computer Science, pages 1-8. Springer, March 1998.

A short survey of the uses of types in compilation.

bib | Local copy | At publisher's ] Back

This file was generated by bibtex2html 1.97.