Practical Foundations for Programming Languages

Robert Harper é um proeminente professor de ciência da computação americano, reconhecido por suas contribuições fundamentais para a pesquisa em linguagens de programação. Atualmente na Carnegie Mellon University, Harper também atuou como pesquisador na Universidade de Edimburgo. Seu trabalho abrange o design da linguagem de programação Standard ML e o framework lógico LF. Harper é autor do aclamado livro "Practical Foundations for Programming Languages", que aprofunda a teoria de linguagens de programação através de sistemas de tipos e semântica operacional estrutural. Suas realizações acadêmicas foram reconhecidas com a Medalha Allen Newell e o Prêmio Herbert A. Simon, além de ser Fellow da Association for Computing Machinery (ACM).