ACM Symposium on Principles of Programming Languages (27th 2000 Boston, Mass.)
Don F. Hadwiger, Ross B. Talbot
Samuel Smiles
Michael Tischer