Chan, Jonathan
5514  results:
Search for persons X
?
5

Internalizing Indistinguishability with Dependent Types:

Liu, Yiyun ; Chan, Jonathan ; Shi, Jessica.
Proceedings of the ACM on Programming Languages.  8 (2024)  POPL - p. 1298-1325 , 2024
 
?
6

Foreword:

Chan, Jonathan
UCL Journal of Law and Jurisprudence; Journal of Law and Jurisprudence.  12 (2023)  1 - p. , 2023
 
?
 
?
8

Why Junior Scholarship is Important: Foreword to the UCL Jo..:

Chan, Jonathan
UCL Journal of Law and Jurisprudence Volume 12, Issue 1, 2023.  , 2023
 
?
9

Is sized typing for Coq practical?:

CHAN, JONATHAN ; LI, YUFENG ; BOWMAN, WILLIAM J.
Journal of Functional Programming.  33 (2023)  - p. , 2023
 
?
10

How it Matters Who Makes Corporate Rules:

Chan, Jonathan ; Lim, Ernest
European Business Organization Law Review, Forthcoming.  , 2023
 
?
11

Do temperature changes cause eczema flares? An English coho..:

Chan, Jonathan ; MacNeill, Stephanie J ; Stuart, Beth...
Clinical and Experimental Dermatology.  48 (2023)  9 - p. 1012-1018 , 2023
 
?
12

The Dating Metaverse: Why We Need to Design for Consent in ..:

Zytko, Douglas ; Chan, Jonathan
IEEE Transactions on Visualization and Computer Graphics.  29 (2023)  5 - p. 2489-2498 , 2023
 
?
 
?
15

A novel speckle‐tracking echocardiography parameter assessi..:

Sato, Kei ; Wildi, Karin ; Chan, Jonathan...
European Journal of Clinical Investigation.  54 (2023)  2 - p. , 2023
 
1-15