Year |
Citation |
Score |
2023 |
Leverenz DL, Garren AU, Katz G, Saygin D, Witt A, Harper R, Sparks MA, Criscione-Schreiber L. RheumMadness: Creating an Online Community of Inquiry in Rheumatology. Arthritis Care & Research. PMID 36847710 DOI: 10.1002/acr.25108 |
0.432 |
|
2022 |
Martin CT, Holton KJ, Elder BD, Fogelson JL, Mikula AL, Kleck CJ, Calabrese D, Burger EL, Ou-Yang D, Patel VV, Kim HJ, Lovecchio F, Hu SS, Wood KB, Harper R, et al. Catastrophic acute failure of pelvic fixation in adult spinal deformity requiring revision surgery: a multicenter review of incidence, failure mechanisms, and risk factors. Journal of Neurosurgery. Spine. 1-9. PMID 36057123 DOI: 10.3171/2022.6.SPINE211559 |
0.416 |
|
2022 |
Mercieca K, Pittam B, Harper R, Sukumar S. Driving and glaucoma in the UK: a national survey of clinicians' advice and guidance to patients. Eye (London, England). PMID 35411112 DOI: 10.1038/s41433-022-02046-x |
0.445 |
|
2021 |
Harper R, Tee P. Balancing capacity and epidemic spread in the global airline network. Applied Network Science. 6: 94. PMID 34849399 DOI: 10.1007/s41109-021-00432-0 |
0.409 |
|
2021 |
Cully JL, Thikkurissy S, Sahay RD, Harper R, Lehmann C. Integration of a Pilot Oral Health Curriculum into a Medical School Pediatric Rotation. Pediatric Dentistry. 43: 258-261. PMID 34467839 |
0.421 |
|
2021 |
Learoyd AE, Tufail A, Bunce C, Keane PA, Kernohan A, Robinson E, Jaber A, Sadiq S, Harper R, Lawrenson J, Vale L, Waterman H, Douiri A, Balaskas K. FENETRE study: quality-assured follow-up of quiescent neovascular age-related macular degeneration by non-medical practitioners: study protocol and statistical analysis plan for a randomised controlled trial. Bmj Open. 11: e049411. PMID 33980536 DOI: 10.1136/bmjopen-2021-049411 |
0.431 |
|
2020 |
Wang A, Meiwald A, Harper R, Van Aarsen K, Yan JW. Health research methodology education in Canadian emergency medicine residency programs: A national environmental scan. Canadian Medical Education Journal. 11: e44-e49. PMID 33062089 DOI: 10.36834/cmej.68753 |
0.482 |
|
2019 |
Forbes H, Sutton M, Edgar DF, Lawrenson J, Spencer AF, Fenerty C, Harper R. Impact of the Manchester Glaucoma Enhanced Referral Scheme on NHS costs. Bmj Open Ophthalmology. 4: e000278. PMID 31673631 DOI: 10.1136/bmjophth-2019-000278 |
0.423 |
|
2019 |
Burton DC, Sethi RK, Wright AK, Daniels AH, Ames CP, Reid DB, Klineberg EO, Harper R, Mundis GM, Hlubek RJ, Bess S, Hart RA, Kelly MP, Lenke LG. The Role of Potentially Modifiable Factors in a Standard Work Protocol to Decrease Complications in Adult Spinal Deformity Surgery: A Systematic Review, Part 1. Spine Deformity. 7: 669-683. PMID 31495466 DOI: 10.1016/j.jspd.2019.04.003 |
0.413 |
|
2019 |
Harper R, Nevill A, Senghore N, Khan I. Socioeconomic and ethnic status of two- and three-year-olds undergoing dental extractions under general anaesthesia in Wolverhampton, 2011-2016. British Dental Journal. 226: 349-353. PMID 30850792 DOI: 10.1038/s41415-019-0029-9 |
0.421 |
|
2018 |
Harper R, Klineberg E. The evidence-based approach for surgical complications in the treatment of lumbar disc herniation. International Orthopaedics. PMID 30543041 DOI: 10.1007/s00264-018-4255-6 |
0.425 |
|
2018 |
Harper R. Sunburn as a Cause of Unexpected Neutrophilia in a Healthy Pregnant Woman. Case Reports in Obstetrics and Gynecology. 2018: 8392127. PMID 29850321 DOI: 10.1155/2018/8392127 |
0.404 |
|
2018 |
Harper R, Fenerty C. Professor David Henson - Festspiele, Manchester, January 2017. Ophthalmic & Physiological Optics : the Journal of the British College of Ophthalmic Opticians (Optometrists). 38: 115-116. PMID 29265473 DOI: 10.1111/opo.12430 |
0.423 |
|
2018 |
Angiuli C, Cavallo E, Hou K, Harper R, Sterling J. The RedPRL Proof Assistant (Invited Paper) Arxiv: Logic in Computer Science. 274: 1-10. DOI: 10.4204/Eptcs.274.1 |
0.364 |
|
2018 |
Harper R. Exception tracking in an open world Theoretical Computer Science. 741: 25-31. DOI: 10.1016/J.Tcs.2018.02.032 |
0.379 |
|
2018 |
Angiuli C, Harper R. Meaning explanations at higher dimension Indagationes Mathematicae. 29: 135-149. DOI: 10.1016/J.Indag.2017.07.010 |
0.359 |
|
2017 |
Addy J, Oliphant T, Harper R. A botanically derived skin surface lipid mimetic based on the composition of healthy 22-year-old females. Journal of Cosmetic Science. 68: 59-67. PMID 29465384 |
0.41 |
|
2017 |
Harper R, Alaee L, Spaulding JR, DeWitt T, Klein M. Online Master of Education Program: Academic Outcomes. The Journal of Pediatrics. PMID 28712516 DOI: 10.1016/j.jpeds.2017.06.067 |
0.464 |
|
2017 |
Russell G, Harper R, Allen H, Baldwin R, Burns A. Cognitive impairment and Charles Bonnet syndrome: a prospective study. International Journal of Geriatric Psychiatry. PMID 28117918 DOI: 10.1002/gps.4665 |
0.423 |
|
2016 |
Waterman H, Ballinger C, Brundle C, Chastin S, Gage H, Harper R, Henson D, Laventure B, McEvoy L, Pilling M, Olleveant N, Skelton DA, Stanford P, Todd C. A feasibility study to prevent falls in older people who are sight impaired: the VIP2UK randomised controlled trial. Trials. 17: 464. PMID 27671540 DOI: 10.1186/S13063-016-1565-0 |
0.425 |
|
2016 |
Nerlekar N, Narayan O, Sapontis J, Stokes M, Vasanthakumar SA, Mottram PM, Harper RW. Percutaneous closure of three atrial septal defects with three interleaved atrial septal occluders in an adult patient. International Journal of Cardiology. 209: 7-8. PMID 26874451 DOI: 10.1016/j.ijcard.2016.01.116 |
0.416 |
|
2016 |
Hou K, Benton N, Harper R. Correctness of Compiling Polymorphism to Dynamic Typing Journal of Functional Programming. 27. DOI: 10.1017/S0956796816000265 |
0.339 |
|
2016 |
Ngu PJ, Harper RW, Nasis A. Percutaneous repair of acquired Gerbode defect complicated by hemolysis and acute kidney injury International Journal of Cardiology. 204: 37-39. DOI: 10.1016/j.ijcard.2015.11.138 |
0.402 |
|
2015 |
Harper R, Creer R, Jackson J, Ehrlich D, Tompkin A, Bowen M, Tromans C. Scope of practice of optometrists working in the UK Hospital Eye Service: a national survey. Ophthalmic & Physiological Optics : the Journal of the British College of Ophthalmic Opticians (Optometrists). PMID 26555386 DOI: 10.1111/opo.12262 |
0.43 |
|
2015 |
Harper RW, Nasis A, Sundararajan V. How changes to the medicare benefits schedule could improve the practice of cardiology and save taxpayer money Medical Journal of Australia. 203: 256-258.e1. PMID 26377292 DOI: 10.5694/mja15.00333 |
0.439 |
|
2015 |
Hepworth LR, Rowe FJ, Harper R, Jarvis K, Shipman T, Rodgers H. Patient reported outcome measures for visual impairment after stroke: a systematic review. Health and Quality of Life Outcomes. 13: 146. PMID 26374628 DOI: 10.1186/s12955-015-0338-x |
0.428 |
|
2015 |
Zaman S, Gooley R, McCormick L, Harper R, Meredith IT. Pre - Transcatheter Aortic Valve Implantation Workup in the Cardiac Catheterisation Laboratory. Heart, Lung & Circulation. 24: 1162-70. PMID 26361818 DOI: 10.1016/j.hlc.2015.07.018 |
0.437 |
|
2015 |
Nasis A, Harper RW. Anatomical versus Functional Testing for Coronary Artery Disease The New England Journal of Medicine. 373: 90-91. PMID 26132951 DOI: 10.1056/NEJMc1505594#SA4 |
0.41 |
|
2015 |
Xu B, Zaman S, Harper R. Successful closure of a large secundum atrial septal defect via the transjugular approach after failed transfemoral approach. International Journal of Cardiology. 186: 322-4. PMID 25841191 DOI: 10.1016/j.ijcard.2015.03.321 |
0.425 |
|
2015 |
Schivo M, Phan C, Louie S, Harper RW. Critical asthma syndrome in the ICU. Clinical Reviews in Allergy & Immunology. 48: 31-44. PMID 25759905 |
0.43 |
|
2015 |
Harper RW, Zeki AA. Immunobiology of the critical asthma syndrome Clinical Reviews in Allergy & Immunology. 48: 54-65. PMID 24399247 DOI: 10.1007/s12016-013-8407-6 |
0.415 |
|
2015 |
Shanmugam VB, Harper R, Meredith I, Malaiapan Y, Psaltis PJ. An overview of PCI in the very elderly Journal of Geriatric Cardiology. 12: 174-184. DOI: 10.11909/j.issn.1671-5411.2015.02.012 |
0.442 |
|
2014 |
Nerlekar N, Beale A, Harper RW. Colchicine — A short history of an ancient drug Medical Journal of Australia. 201: 687-688. PMID 25495322 DOI: 10.5694/mja14.00846 |
0.393 |
|
2014 |
Schivo M, Aksenov AA, Linderholm AL, McCartney MM, Simmons J, Harper RW, Davis CE. Volatile emanations from in vitro airway cells infected with human rhinovirus. Journal of Breath Research. 8: 037110. PMID 25189196 DOI: 10.1088/1752-7155/8/3/037110 |
0.409 |
|
2014 |
Taylor J, Bambrick R, Dutton M, Harper R, Ryan B, Tudor-Edwards R, Waterman H, Whitaker C, Dickinson C. The p-EVES study design and methodology: a randomised controlled trial to compare portable electronic vision enhancement systems (p-EVES) to optical magnifiers for near vision activities in visual impairment. Ophthalmic & Physiological Optics : the Journal of the British College of Ophthalmic Opticians (Optometrists). 34: 558-72. PMID 25115201 DOI: 10.1111/opo.12149 |
0.417 |
|
2014 |
Boganashanmugam V, Goldstein J, Harper RW. Multi-modality guided trans-apical closure of recurrent mitral para-valvular regurgitation after failed surgical management in a patient with osteogenesis imperfecta Heart Lung and Circulation. 23: e240-e243. PMID 25082307 DOI: 10.1016/j.hlc.2014.06.018 |
0.429 |
|
2014 |
Rowe F, Wormald R, Cable R, Acton M, Bonstein K, Bowen M, Bronze C, Bunce C, Conroy D, Cowan K, Evans K, Fenton M, Giles H, Gordon I, Halfhide L, Harper R, et al. The Sight Loss and Vision Priority Setting Partnership (SLV-PSP): overview and results of the research prioritisation survey process. Bmj Open. 4: e004905. PMID 25056971 DOI: 10.1136/bmjopen-2014-004905 |
0.439 |
|
2014 |
Wolffsohn JS, Jackson J, Hunt OA, Cottriall C, Lindsay J, Gilmour R, Sinclair A, Harper R. An enhanced functional ability questionnaire (faVIQ) to measure the impact of rehabilitation services on the visually impaired. International Journal of Ophthalmology. 7: 77-85. PMID 24634868 DOI: 10.3980/j.issn.2222-3959.2014.01.14 |
0.441 |
|
2014 |
Siebert U, Arvandi M, Gothe RM, Bornschein B, Eccleston D, Walters DL, Rankin J, De Bruyne B, Fearon WF, Pijls NH, Harper R. Improving the quality of percutaneous revascularisation in patients with multivessel disease in Australia: cost-effectiveness, public health implications, and budget impact of FFR-guided PCI. Heart, Lung & Circulation. 23: 527-33. PMID 24560401 DOI: 10.1016/j.hlc.2013.12.009 |
0.433 |
|
2014 |
MacFie TS, Poulsom R, Parker A, Warnes G, Boitsova T, Nijhuis A, Suraweera N, Poehlmann A, Szary J, Feakins R, Jeffery R, Harper RW, Jubb AM, Lindsay JO, Silver A. DUOX2 and DUOXA2 form the predominant enzyme system capable of producing the reactive oxygen species H2O2 in active ulcerative colitis and are modulated by 5-aminosalicylic acid. Inflammatory Bowel Diseases. 20: 514-24. PMID 24492313 DOI: 10.1097/01.MIB.0000442012.45038.0e |
0.398 |
|
2014 |
Ko BS, Wong DT, Cameron JD, Leong DP, Leung M, Meredith IT, Nerlekar N, Antonis P, Crossett M, Troupis J, Harper R, Malaiapan Y, Seneviratne SK. 320-row CT coronary angiography predicts freedom from revascularisation and acts as a gatekeeper to defer invasive angiography in stable coronary artery disease: a fractional flow reserve-correlated study. European Radiology. 24: 738-47. PMID 24217643 DOI: 10.1007/s00330-013-3059-8 |
0.414 |
|
2014 |
Romanelli G, Harper RW, Mottram PM. Transcatheter Closure of Secundum Atrial Septal Defects: Results in Patients with Large and Extreme Defects Heart Lung and Circulation. 23: 127-131. PMID 24012104 DOI: 10.1016/j.hlc.2013.07.020 |
0.425 |
|
2014 |
Angiuli C, Morehouse E, Licata DR, Harper R. Homotopical patch theory Acm Sigplan Notices. 49: 243-256. DOI: 10.1017/S0956796816000198 |
0.756 |
|
2013 |
Schivo M, Phan C, Louie S, Harper RW. Critical Asthma Syndrome in the ICU. Clinical Reviews in Allergy & Immunology. PMID 24234835 DOI: 10.1007/s12016-013-8394-7 |
0.43 |
|
2013 |
Nerlekar N, Tung M, Rehmani H, Wong DT, Meredith IT, Harper RW. Peripheral air embolism. Lancet (London, England). 382: 1070. PMID 24054536 DOI: 10.1016/S0140-6736(13)61900-5 |
0.394 |
|
2013 |
Ratnarajan G, Newsom W, Vernon SA, Fenerty C, Henson D, Spencer F, Wang Y, Harper R, McNaught A, Collins L, Parker M, Lawrenson J, Hudson R, Khaw PT, Wormald R, et al. The effectiveness of schemes that refine referrals between primary and secondary care--the UK experience with glaucoma referrals: the Health Innovation & Education Cluster (HIEC) Glaucoma Pathways Project. Bmj Open. 3. PMID 23878172 DOI: 10.1136/Bmjopen-2013-002715 |
0.421 |
|
2013 |
Kanthan A, Looi KL, Mottram P, Harper R, Bittinger L, Alison JF. Percutaneous left atrial appendage closure using a PFO closure device Heart Lung and Circulation. 22: 784-785. PMID 23702289 DOI: 10.1016/j.hlc.2013.04.118 |
0.414 |
|
2013 |
Waterman H, Evans JR, Gray TA, Henson D, Harper R. Interventions for improving adherence to ocular hypotensive therapy. The Cochrane Database of Systematic Reviews. 4: CD006132. PMID 23633333 DOI: 10.1002/14651858.Cd006132.Pub3 |
0.438 |
|
2012 |
Jalil A, Yin K, Coyle L, Harper R, Jones NP. Vision-related quality of life and employment status in patients with uveitis of working age: a prospective study. Ocular Immunology and Inflammation. 20: 262-5. PMID 22568885 DOI: 10.3109/09273948.2012.684420 |
0.416 |
|
2012 |
Binns AM, Bunce C, Dickinson C, Harper R, Tudor-Edwards R, Woodhouse M, Linck P, Suttie A, Jackson J, Lindsay J, Wolffsohn J, Hughes L, Margrain TH. How effective is low vision service provision? A systematic review. Survey of Ophthalmology. 57: 34-65. PMID 22018676 DOI: 10.1016/j.survophthal.2011.06.006 |
0.456 |
|
2012 |
Licata DR, Harper R. Canonicity for 2-dimensional type theory Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 337-348. DOI: 10.1145/2103656.2103697 |
0.763 |
|
2011 |
Harper R. Glaucoma and optometry: recognition, challenges and opportunities. Ophthalmic & Physiological Optics : the Journal of the British College of Ophthalmic Opticians (Optometrists). 31: 327-9. PMID 21668827 DOI: 10.1111/j.1475-1313.2011.00856.x |
0.405 |
|
2011 |
Licata DR, Harper R. 2-dimensional directed type theory Electronic Notes in Theoretical Computer Science. 276: 263-289. DOI: 10.1016/J.Entcs.2011.09.026 |
0.757 |
|
2010 |
Spoonhower D, Blelloch GE, Harper R, Gibbons PB. Space profiling for parallel functional programs Journal of Functional Programming. 20: 417-461. DOI: 10.1017/S0956796810000146 |
0.724 |
|
2010 |
Harper R. Practical foundations for programming languages Practical Foundations For Programming Languages. 1-471. DOI: 10.1017/CBO9781139342131 |
0.324 |
|
2009 |
Gray TA, Orton LC, Henson D, Harper R, Waterman H. Interventions for improving adherence to ocular hypotensive therapy. The Cochrane Database of Systematic Reviews. CD006132. PMID 19370627 DOI: 10.1002/14651858.CD006132.pub2 |
0.434 |
|
2009 |
Allen J, Ariola Z, Curien PL, Fluet M, Foster J, Grossman D, Harper R, Herbelin H, Smaragdakis Y, Walker D, Zdancewic S. An overview of the oregon programming languages summer school Acm Sigplan Notices. 44: 1-3. DOI: 10.1145/1816027.1816029 |
0.765 |
|
2009 |
Licata DR, Harper R. A universe of binding and computation Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 123-134. DOI: 10.1145/1596550.1596571 |
0.778 |
|
2009 |
Acar UA, Blelloch GE, Blume M, Harper R, Tangwongsan K. An experimental analysis of self-adjusting computation Acm Transactions On Programming Languages and Systems. 32. DOI: 10.1145/1596527.1596530 |
0.657 |
|
2009 |
Harper R, Licata DR, Zeilberger N. A pronominal approach to binding and computation Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5608: 3-4. DOI: 10.1007/978-3-642-02273-9_2 |
0.761 |
|
2009 |
Licata DR, Harper R. Positively dependent types Proceedings of the 2009 Acm Sigplan Workshop On Programming Languages Meets Program Verification, Plpv'09. 3-14. |
0.779 |
|
2008 |
Lennon J, Harper R, Lloyd C, Biswas S. Usefulness of post-assessment reports in a paediatric low vision clinic: a questionnaire survey of parents and education professionals. Ophthalmic & Physiological Optics : the Journal of the British College of Ophthalmic Opticians (Optometrists). 28: 247-52. PMID 18426423 DOI: 10.1111/j.1475-1313.2008.00557.x |
0.419 |
|
2008 |
Harper R. Position paper: Practical foundations for programming languages Acm Sigplan Notices. 43: 71-73. DOI: 10.1145/1480828.1480843 |
0.414 |
|
2008 |
Allen E, Bodik R, Bruce K, Fisher K, Freund S, Harper R, Krintz C, Krishnamurthi S, Larus J, Lea D, Leavens G, Pollock L, Reges S, Rinard M, Sheldon M, et al. SIGPLAN programming language curriculum workshop Acm Sigplan Notices. 43: 6-29. DOI: 10.1145/1480828.1480831 |
0.383 |
|
2008 |
Licata DR, Zeilberger N, Harper R. Focusing on binding and computation Proceedings - Symposium On Logic in Computer Science. 241-252. DOI: 10.1109/LICS.2008.48 |
0.752 |
|
2007 |
Proulx P, Chien L, Harper R, Schroh D, Kapler T, Jonker D, Wright W. nSpace and GeoTime: a VAST 2006 case study. Ieee Computer Graphics and Applications. 27: 46-56. PMID 17913024 |
0.412 |
|
2007 |
Dreyer D, Harper R, Chakravarty MMT. Modular type classes Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 63-70. DOI: 10.1145/1190216.1190229 |
0.578 |
|
2007 |
Harper R, Licata DR. Mechanizing metatheory in a logical framework Journal of Functional Programming. 17: 613-673. DOI: 10.1017/S0956796807006430 |
0.779 |
|
2007 |
Crary K, Harper R. Syntactic Logical Relations for Polymorphic and Recursive Types Electronic Notes in Theoretical Computer Science. 172: 259-299. DOI: 10.1016/J.Entcs.2007.02.010 |
0.357 |
|
2006 |
Ainsworth J, Harper R, Juma I, Buchan I. Design and implementation of security in a data collection system for epidemiology. Studies in Health Technology and Informatics. 120: 348-57. PMID 16823152 |
0.43 |
|
2006 |
Acar UA, Blelloch GE, Harper R. Adaptive functional programming Acm Transactions On Programming Languages and Systems. 28: 990-1034. DOI: 10.1145/1186632.1186634 |
0.664 |
|
2006 |
Stone CA, Harper R. Extensional equivalence and singleton types Acm Transactions On Computational Logic. 7: 676-722. DOI: 10.1145/1183278.1183281 |
0.604 |
|
2006 |
Swasey D, Murphy VII T, Crary K, Harper R. A separate compilation extension to Standard ML Proceedings of the Acm Sigplan 2006 Workshop On Ml. 2006: 32-42. DOI: 10.1145/1159876.1159883 |
0.413 |
|
2006 |
Acar U, Blelloch G, Blume M, Harper R, Tangwongsan K. A library for self-adjusting computation Electronic Notes in Theoretical Computer Science. 148: 127-154. DOI: 10.1016/J.Entcs.2005.11.043 |
0.688 |
|
2005 |
Harper R. Mechanizing the meta-theory of programming languages Acm Sigplan Notices. 40: 240. DOI: 10.1145/1090189.1086396 |
0.314 |
|
2005 |
Harper R, Pfenning F. On equivalence and canonical forms in the LF type theory Acm Transactions On Computational Logic. 6: 61-101. DOI: 10.1145/1042038.1042041 |
0.374 |
|
2004 |
Tarditi D, Morrisett G, Cheng P, Stone C, Harper R, Lee P. TIL: A type≠directed, optimizing compiler for ML Acm Sigplan Notices. 39: 554-555. DOI: 10.1145/989393.989449 |
0.735 |
|
2004 |
Acar UA, Blelloch GE, Harper R, Vittes JL, Woo SLM. Dynamizing Static Algorithms, with Applications to Dynamic Trees and History Independence Proceedings of the Annual Acm-Siam Symposium On Discrete Algorithms. 15: 524-533. |
0.586 |
|
2004 |
Tarditi D, Morrisett G, Cheng P, Stone C, Harper R, Lee P. TIL: A type-directed optimizing compiler for ML Acm Sigplan Notices. 39: 556-567. |
0.563 |
|
2004 |
Tarditi D, Morrisett G, Cheng P, Stone C, Harper R, Lee P. TIL: A type-directed optimizing compiler for ML Acm Sigplan Notices. 39: 556-567. |
0.724 |
|
2003 |
Artes PH, Henson DB, Harper R, McLeod D. Multisampling suprathreshold perimetry: a comparison with conventional suprathreshold and full-threshold strategies by computer simulation. Investigative Ophthalmology & Visual Science. 44: 2582-7. PMID 12766060 DOI: 10.1167/Iovs.02-1036 |
0.428 |
|
2003 |
Petersen-Crair P, Marangell L, Flack J, Harper R, Soety E, Gabbard GO. An impaired physician with complex comorbidity. The American Journal of Psychiatry. 160: 850-4. PMID 12727686 DOI: 10.1176/APPI.AJP.160.5.850 |
0.4 |
|
2003 |
Colby C, Crary K, Harper R, Lee P, Pfenning F. Automated techniques for provably safe mobile code Theoretical Computer Science. 290: 1175-1199. DOI: 10.1016/S0304-3975(01)00201-8 |
0.372 |
|
2003 |
Vanderwaart JC, Dreyer D, Petersen L, Crary K, Harper R, Cheng P. Typed Compilation of Recursive Datatypes Proceedings of the 2003 Acm Sigplan International Workshop On Types in Languages Design and Implementation. 98-108. |
0.574 |
|
2003 |
Dreyer D, Crary K, Harper R. A type system for higher-order modules Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 236-249. |
0.564 |
|
2003 |
Acar UA, Blelloch GE, Harper R. Selective memoization Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 14-25. |
0.69 |
|
2002 |
Harper R. Can sensitivity and specificity estimates from research studies be made more meaningful for clinical practice? Ophthalmic & Physiological Optics : the Journal of the British College of Ophthalmic Opticians (Optometrists). 22: 271-3. PMID 12162477 |
0.426 |
|
2001 |
Schneider FB, Morrisett JG, Harper R. A Language-Based Approach to Security Lecture Notes in Computer Science. 86-101. DOI: 10.1007/3-540-44577-3_6 |
0.381 |
|
2000 |
Despeyroux J, Harper R. Special issue on Logical Frameworks and Metalanguages http//www-sop.inria.fr/certilab/LFM00/cfp-jfp.html Journal of Functional Programming. 10: 135-136. DOI: 10.1017/S0956796899009892 |
0.398 |
|
2000 |
Stone CA, Harper R. Deciding type equivalence in a language with singleton kinds Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 214-227. |
0.558 |
|
1999 |
Harper R. Proof-directed debugging Journal of Functional Programming. 9: 463-469. DOI: 10.1017/S0956796899003378 |
0.384 |
|
1999 |
Birkedal L, Harper R. Relational Interpretations of Recursive Types in an Operational Setting Information and Computation. 155: 3-63. DOI: 10.1006/Inco.1999.2828 |
0.409 |
|
1998 |
Harper R, Pfenning F. A module system for a programming language based on the LF logical framework Journal of Logic and Computation. 8: 5-31. DOI: 10.1093/Logcom/8.1.5 |
0.381 |
|
1998 |
Morrisett G, Harper R. Typed closure conversion for recursively-defined functions (extended abstract) Electronic Notes in Theoretical Computer Science. 10: 230-241. DOI: 10.1016/S1571-0661(05)80702-9 |
0.69 |
|
1998 |
Bernard A, Harper R, Lee P. How generic is a generic back end? Using MLRISC as a back end for the TIL Compiler Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1473: 53-77. DOI: 10.1007/Bfb0055512 |
0.304 |
|
1997 |
Harper R, Mitchell JC. ML and Beyond Sigplan Notices (Acm Special Interest Group On Programming Languages). 32: 80-85. DOI: 10.1145/251595.251603 |
0.389 |
|
1996 |
Harper R, Lee P. Research in programming languages for composability, safety, and performance Acm Computing Surveys. 28: 195. DOI: 10.1145/242224.242476 |
0.362 |
|
1996 |
Harper R, Lillibridge M. Operational interpretations of an extension of Fω with control operators Journal of Functional Programming. 6: 393-417. DOI: 10.1017/S0956796800001775 |
0.337 |
|
1996 |
Harper R. A note on "a simplified account of polymorphic references" Information Processing Letters. 57: 15-16. DOI: 10.1016/0020-0190(95)00178-6 |
0.341 |
|
1994 |
Harper R, Sannella D, Tarlecki A. Structured theory presentations and logic representations Annals of Pure and Applied Logic. 67: 113-160. DOI: 10.1016/0168-0072(94)90009-4 |
0.341 |
|
1994 |
Harper R. A simplified account of polymorphic references Information Processing Letters. 51: 201-206. DOI: 10.1016/0020-0190(94)90120-1 |
0.341 |
|
1993 |
Harper R, Mitchell JC. On the type structure of standard ML Acm Transactions On Programming Languages and Systems. 15: 211-252. DOI: 10.1145/169701.169696 |
0.407 |
|
1993 |
Duba BF, Macqueen D, Harper R. Typing first-class continuations in ML Journal of Functional Programming. 3: 465-484. DOI: 10.1017/S095679680000085X |
0.394 |
|
1993 |
Appel AW, Harper R. Special Issue on ML Journal of Functional Programming. 3: 389. DOI: 10.1017/S0956796800000812 |
0.389 |
|
1992 |
Harper R. Constructing type systems over an operational semantics Journal of Symbolic Computation. 14: 71-84. DOI: 10.1016/0747-7171(92)90026-Z |
0.402 |
|
Show low-probability matches. |