BOWMAN, WILLIAM J.
1457  results:
Search for persons X
?
3

Indexed Types for a Statically Safe WebAssembly:

Geller, Adam T. ; Frank, Justin ; Bowman, William J.
Proceedings of the ACM on Programming Languages.  8 (2024)  POPL - p. 2395-2424 , 2024
 
?
5

Grain size dependent indentation response of single-phase (..:

Cortez, Justin ; Dupuy, Alexander D. ; Vahidi, Hasti...
Journal of the European Ceramic Society.  44 (2024)  14 - p. 116673 , 2024
 
?
9

Is sized typing for Coq practical?:

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

Nanoscale Iron Redistribution during Thermochemical Decompo..:

Luong, Jason ; Wang, Xin ; Tsung, Alicia...
ACS Applied Nano Materials.  6 (2023)  3 - p. 1620-1630 , 2023
 
?
11

A Correlated STEM/APT Study of Multidimensional and Interco..:

Guo, Huiming ; Mead, Christopher ; Balingit, Marquez...
Microscopy and Microanalysis.  29 (2023)  Supplement_1 - p. 1833-1833 , 2023
 
?
13

Bulk and Surface Exsolution Produce a Variety of Fe-Rich an..:

Syed, Komal ; Wang, Jiayue ; Yildiz, Bilge.
Microscopy and Microanalysis.  28 (2022)  S1 - p. 2542-2542 , 2022
 
?
14

Exsolution of Core-Shell Nanoparticles in a Complex Concent..:

Guo, Huiming ; Wang, Xin ; Xu, Mingjie...
Microscopy and Microanalysis.  28 (2022)  S1 - p. 2470-2471 , 2022
 
1-15
Related subjects