Robert Harper (computer scientist)
- Robert Harper (computer scientist)
Robert Harper 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.
Personal life
Harper hosts the progressive talk show "Left Out" on WRCT-FM with fellow host and School of Computer Science faculty member Danny Sleator.
References
* [http://www.cs.cmu.edu/~rwh/ Robert Harper's Homepage]
Wikimedia Foundation.
2010.
Look at other dictionaries:
Robert Harper — may refer to:* Robert Goodloe Harper (born 1765), US senator from Maryland * Robert Harper (actor) (born 1951) * Robert Harper (computer scientist) * Robert Harper (Australian politician) (1842 1919), member of the Australian House of… … Wikipedia
Robert Bruce Findler — Robert Bruce Findler, colloquially known as Robby , is a computer scientist, currently teaching at the University of Chicago. He is also a member of PLT and, as such, responsible for the creation and maintenance of DrScheme. In addition to… … Wikipedia
Robert Gordon University — Motto Omni Nunc Arte Magistra Motto in English Now by all your mastered arts... Established 1992 (Origins 1720) … Wikipedia
Robert Noyce — Born December 12, 1927(1927 12 12) Burlington, Iowa Died June 3, 1990(1990 06 03) … Wikipedia
The Ultimate Computer — Star Trek: The Original Series episode The M5 computer Episode no. Episode 53 … Wikipedia
List of Yale University people — Yalies are persons affiliated with Yale University, commonly including alumni, current and former faculty members, students, and others. Here follows a list of notable Yalies. Dynamic listNotes: * LL.B. (Legum Baccalaureum) is a graduate degree… … Wikipedia
education — /ej oo kay sheuhn/, n. 1. the act or process of imparting or acquiring general knowledge, developing the powers of reasoning and judgment, and generally of preparing oneself or others intellectually for mature life. 2. the act or process of… … Universalium
Polymath — A polymath (Greek polymathēs , πολυμαθής, having learned much )The term was first recorded in written English in the early seventeenth century Cite web url=http://www.etymonline.com/index.php?search=polymath searchmode=none title=Online Etymology … Wikipedia
2008 — This article is about the year 2008. 2008 : January · February · March · April · May · June · July · August · Septem … Wikipedia
List of English people — This is a partial list of English people of note and of some notable individuals born in England, alphabetically within categories.Actors and actresses*Dame Julie Andrews (born 1935) *Naveen Andrews (born 1969) *Gabrielle Anwar (born 1970) *Rowan … Wikipedia
