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.95.