Robert Harper is a prominent computer scientist known for his contributions to programming languages, type systems, and the foundations of computer science. He is a professor at Carnegie Mellon University and has been influential in the development of type theory and functional programming languages. One of his notable works includes his involvement in the design and implementation of the programming languages like "Haskell" and contributions to the development of "ATS," a programming language that combines functional programming with dependent types.
Articles by others on the same topic
There are currently no matching articles.