Robert Harper Video | Book Interviews

Robert "Bob" William Harper, Jr. is a computer science professor at Carnegie Mellon University who works in programming language research. He made major contributions to the design of the Standard ML programming language and the LF logical framework. Harper was named an ACM Fellow in 2005. He was awarded this honor for his contributions to type systems for programming languages. Harper hosts the progressive talk show Left Out on WRCT-FM with fellow host and School of Computer Science faculty member Danny Sleator. MORE

Robert "Bob" William Harper, Jr. is a computer science professor at Carnegie Mellon University who works in programming language research. He made major contributions to the design of the Standard ML programming language and the LF logical framework. Harper was named an ACM Fellow in 2005. He was awarded this honor for his contributions to type systems for programming languages. Harper hosts the progressive talk show Left Out on WRCT-FM with fellow host and School of Computer Science faculty member Danny Sleator. LESS