I will begin teaching at Stanford Jan. 1, 1988. Since I will be leaving Bell (physically) a bit earlier to visit family, etc., all future correspondence should be sent to the following address: John C. Mitchell Dept. of Computer Science Stanford University Stanford, CA 94305 arpa: jcm@navajo.stanford.edu If your future travel plans call for the west coast, please feel free to drop by.