Xavier Leroy. An overview of types in compilation. In TIC 1998: workshop Types in Compilation, number 1473 in LNCS, pages 1--8. Springer, March 1998.

A short survey of the uses of types in compilation.

bib | DOI | Local copy | At publisher's site ] Back


This file was generated by bibtex2html 1.99.