Phong Q. Nguyen, Brigitte Vallée
ACM Symposium on Principles of Programming Languages (27th 2000 Boston, Mass.)
Frederick A. Matsen
Jones, Robert M.
