Robert Harper (computer scientist) (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Robert Harper (computer scientist)" in English language version.

refsWebsite

Global rank English rank

3web.archive.org

1^st place

1^st place

1,564^th place

1,028^th place

low place

low place

2^nd place

2^nd place

low place

low place

1mathgenealogy.org

4,501^st place

3,002^nd place

895^th place

692^nd place

cmu.edu

cs.cmu.edu

"SCS Faculty Awards". www.cs.cmu.edu. Archived from the original on 2002-04-04. Retrieved 2024-03-19.
"The Allen Newell Award for Research Excellence – Previous Winners". www.cs.cmu.edu. Archived from the original on 2024-02-05. Retrieved 2024-03-16.
"Compiling with Types" (PDF). www.cs.cmu.edu. Retrieved 2024-03-16.

doi.org

Harper, R.; Morrisett, G. (January 1995). "Compiling polymorphism with intensional type analysis". POPL '95: Proc 22nd ACM SIGPLAN-SIGACT Symp on Principles of Programming Languages. San Francisco, Cal, USA: ACM. pp. 130–141. doi:10.1145/199448.199475. ISBN 978-0-89791-692-9.
Tarditi, D.; Morrisett, G.; Cheng, P.; Harper, R.; Lee, P. (May 1996). "TIL: a type-directed optimizing compiler for ML". ACM SIGPLAN Notices. 31 (5): 181–192. doi:10.1145/249069.231414.

linkedin.com

Robert Harper on LinkedIn

mathgenealogy.org

Robert Harper at the Mathematics Genealogy Project

siglog.org

lics.siglog.org

"ACM/IEEE Symposium on Logic in Computer Science". Archived from the original on 2024-03-13. Retrieved 2024-03-16.
Harper, R.; Honsell, F.; Plotkin, G.D. (June 1987). "A Framework for defining logics". Proc Second Annual IEEE Symp on Logic in Computer Science (LICS 1987). Ithaca, New York: IEEE Computer Society Press. pp. 194–204.

sigplan.org

"Programming Languages Achievement Award". www.sigplan.org. Retrieved 2022-01-27.
"Most Influential PLDI Paper Award". www.sigplan.org. Retrieved 2024-03-16.

web.archive.org

"SCS Faculty Awards". www.cs.cmu.edu. Archived from the original on 2002-04-04. Retrieved 2024-03-19.
"The Allen Newell Award for Research Excellence – Previous Winners". www.cs.cmu.edu. Archived from the original on 2024-02-05. Retrieved 2024-03-16.
"ACM/IEEE Symposium on Logic in Computer Science". Archived from the original on 2024-03-13. Retrieved 2024-03-16.