John Peterson

Associate Research Scientist of Computer Science

B.S., University of Denver, 1976
M.S., University of Colorado, 1979
Ph.D., University of Utah, 1984
Joined Yale Faculty 1989
Personal Homepage

Office Location: AKW 310
Telephone: 203.432.1272

Professor Peterson is interested in building domain-specific programming languages based on functional programming techniques. He has worked on languages for computer vision (FVision) and robotics (Frob). These languages are based on functional reactive programming, a programming methodology for defining interactive systems in a purely functional style. He is interested in language design issues, in particular creating languages that are natural and easily learned by domain experts. He is also interested in compilation issues: generating highly efficient code from high level programs written in domain-specific languages.

Representative Publications:
	“Monadic Robotics,” Proc. of the Usenix Conference on Domain-Specific Languages, October 1999.
	“Untagged Data in Tagged Environments: Choosing Optimal Representations at Compile Time,” Proceedings of the 1989 Conference on Functional Programming Languages and Computer Architecture, September 1989, pp. 89-99.
	“Lambda in motion: Controlling robots with Haskell,” with P. Hudak and C. Elliott, Proceedings of PADL 99: Practical Aspects of Declarative Languages, January 1999, pp. 91-105.