Write a Blog >>
Tue 19 Jan 2016 16:00 - 16:30 at Room St Petersburg III - Session IV

Robert Harper is a professor in the Computer Science Department at Carnegie Mellon University, where he has been a member of faculty since 1988. His main research interest is in the application of type theory to the design and implementation of programming languages and to the development of systems for mechanization of mathematics. Robert Harper is a recipient of the Allen Newell Medal for Research Excellence and the Herbert A. Simon Award for Teaching Excellence at Carnegie Mellon, and is an ACM Fellow.

Tue 19 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

16:00 - 17:00: Session IVPLMW at Room St Petersburg III
16:00 - 16:30
Talk
Two Notions of Beauty in Programming
PLMW
Robert HarperCarnegie Mellon University
Media Attached
16:30 - 17:00
Talk
Highs and Lows of a Language Researcher
PLMW
Greg MorrisettCornell University
Media Attached