%A A.C. Kay %T The reactive engine %R thesis %I Department of Computer Science, University of Utah %C Salt Lake City %D August 196 %A P. Mishra %T Static inference in applicative languages %R Ph.D. thesis %I Department of Computer Science, University of Utah %C Salt Lake City %D March 1985