http://www.cs.bu.edu/~hwxi [email protected]
ATS Trustful Software, Inc. Boston, Massachusetts As the creator of ATS, he is currently primarily working on designing and implementing and maintaining the ATS3/Xanadu programming language system.
Hongwei Xi