Robert Harper

Affiliations: 
Carnegie Mellon University, Pittsburgh, PA 
Google:
"Robert Harper"
BETA: Related publications

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
See more...