Children
Sign in to add trainee| Greg Morrisett | grad student | 1995 | Carnegie Mellon |
| Christopher A. Stone | grad student | 2000 | Carnegie Mellon |
| Perry Cheng | grad student | 2001 | Carnegie Mellon |
| Umut A. Acar | grad student | 2005 | Carnegie Mellon |
| Derek Dreyer | grad student | 2005 | Carnegie Mellon |
| Leaf E. Petersen | grad student | 2005 | Carnegie Mellon |
| Tom V. Murphy | grad student | 2008 | Carnegie Mellon |
| Daniel J. Spoonhower | grad student | 2009 | Carnegie Mellon |
| Daniel R. Licata | grad student | 2011 | Carnegie Mellon |
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Harper RA, Petersen L, Saleh M, et al. (2019) Targeting macrophages and their recruitment in the oral cavity using swellable (+) alpha tocopheryl phosphate nanostructures. Nanomedicine : Nanotechnology, Biology, and Medicine |
| Blelloch GE, Harper R. (2015) Cache efficient functional algorithms Communications of the Acm. 58: 101-108 |
| Angiuli C, Morehouse E, Licata DR, et al. (2014) Homotopical patch theory Acm Sigplan Notices. 49: 243-256 |
| Blelloch GE, Harper R. (2013) Cache and I/O efficient functional algorithms Acm Sigplan Notices. 48: 39-50 |
| Licata DR, Harper R. (2012) Canonicity for 2-dimensional type theory Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 337-348 |
| Licata DR, Harper R. (2011) 2-dimensional directed type theory Electronic Notes in Theoretical Computer Science. 276: 263-289 |
| Avijit K, Datta A, Harper R. (2010) Distributed programming with distributed authorization Tldi'10 - Proceedings of the 2010 Acm Sigplan Workshop On Types in Language Design and Implementation. 27-38 |
| Spoonhower D, Blelloch GE, Harper R, et al. (2010) Space profiling for parallel functional programs Journal of Functional Programming. 20: 417-461 |
| Harper R. (2010) Practical foundations for programming languages Practical Foundations For Programming Languages. 1-471 |
| Licata DR, Harper R. (2009) A universe of binding and computation Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 123-134 |