Harper, Robert A.
2508  Ergebnisse:
Personensuche X
?
 
?
 
?
 
?
5

Decalf: A Directed, Effectful Cost-Aware Logical Framework:

Grodin, Harrison ; Niu, Yue ; Sterling, Jonathan.
Proceedings of the ACM on Programming Languages.  8 (2024)  POPL - p. 273-301 , 2024
 
?
7

Confidence in low vision rehabilitation and attitudes towar..:

Gould, Gemma ; Harper, Robert ; Bowen, Michael.
Ophthalmic and Physiological Optics.  44 (2024)  5 - p. 829-839 , 2024
 
?
8

Multi-resolution Correlative Ultrastructural and Chemical A..:

Besnard, Cyril ; Marie, Ali ; Sasidharan, Sisini...
ACS Applied Materials & Interfaces.  15 (2023)  31 - p. 37259-37273 , 2023
 
?
9

A Metalanguage for Cost-Aware Denotational Semantics:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),
Niu, Yue ; Harper, Robert - p. 1-14 , 2023
 
?
10

Efficient Periodicity Analysis for Real-Time Anomaly Detect..:

, In: NOMS 2023-2023 IEEE/IFIP Network Operations and Management Symposium,
Shehu, Yusufu ; Harper, Robert - p. 1-6 , 2023
 
?
12

Referral replies to primary care optometrists: Technology m..:

Harper, Robert A. ; Bennett, David M.
Ophthalmic and Physiological Optics.  43 (2023)  6 - p. 1585-1586 , 2023
 
?
 
1-15