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,
A short survey of the uses of types in compilation.
[ bib |
Local copy |
At publisher's ]
This file was generated by