Beyond Java: An Infrastructure for High-Performance Mobile Code on the World Wide Web