Edit Profile Harper, Robert Compute Distance To: Compute Author ID: harper.robert Published as: Harper, Robert Homepage: http://www.cs.cmu.edu/~rwh/ External Links: MGP · Wikidata · ORCID · ResearchGate · dblp Member of Collective: the-univalent-foundations-program. Documents Indexed: 56 Publications since 1987, including 2 Books all top 5 Co-Authors 8 single-authored 8 Blelloch, Guy E. 8 Crary, Karl 6 Licata, Daniel R. 5 Pfenning, Frank 4 Angiuli, Carlo 2 Acar, Umut A. 2 Birkedal, Lars 2 Dreyer, Derek R. 2 Gibbons, Phillip B. 2 Lillibridge, Mark 2 Morehouse, Edward 2 Morrisett, Greg 2 Murphy, Tom VII 2 Nanevski, Aleksandar 2 Sannella, Donald T. 2 Spoonhower, Daniel 2 Stone, Christopher A. 2 Tarlecki, Andrzej 2 Tassarotti, Joseph 1 Benton, Nick 1 Biagioni, Edoardo 1 Burch, Hal 1 Chakravarty, Manuel M. T. 1 Chang, Bor-Yuh Evan 1 Colby, Christopher 1 DeLap, Margaret 1 Gordon, Andrew D. 1 Halpern, Joseph Yehuda 1 Harrison, John W. 1 Honsell, Furio 1 Hou (Favonia), Kuen-Bang 1 Immerman, Neil 1 Jeffrey, Alan S. A. 1 Jung, Ralf 1 Keller, Gabriele Cornelia 1 Kolaitis, Phokion G. 1 Kumar, Ananya 1 Lee, Daniel K. 1 Lee, Peter L. 1 Lee, Peter N. 1 Liszka, Jason 1 Mandelbaum, Yitzhak 1 Miller, Gary Lee 1 Milner, Robin 1 Mitchell, John C. 1 Petersen, Leaf 1 Plotkin, Gordon D. 1 Pollack, Robert 1 Sewell, Peter 1 Tofte, Mads 1 Vardi, Moshe Y. 1 Vianu, Victor 1 Vittes, Jorge L. 1 Walker, David A. 1 Walkington, Noel J. 1 Wilson, Todd 1 Woo, Shan Leung Maverick 1 Xi, Hongwei all top 5 Serials 7 Journal of Functional Programming 3 Information Processing Letters 3 Theoretical Computer Science 3 Higher-Order and Symbolic Computation 2 ACM Transactions on Computational Logic 1 Journal of the Association for Computing Machinery 1 Annals of Pure and Applied Logic 1 Journal of Symbolic Computation 1 Information and Computation 1 Journal of Logic and Computation 1 Indagationes Mathematicae. New Series 1 The Bulletin of Symbolic Logic 1 Lecture Notes in Computer Science all top 5 Fields 55 Computer science (68-XX) 22 Mathematical logic and foundations (03-XX) 3 Algebraic topology (55-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Category theory; homological algebra (18-XX) 1 Numerical analysis (65-XX) Publications by Year Citations contained in zbMATH Access to citation profile requires subscription Wikidata Timeline