BOWMAN, WILLIAM J.
1720  results:
?
1

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
 
?
7

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

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
 
?
10

Nanoscale Iron Redistribution during Thermochemical Decompo..:

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

Is sized typing for Coq practical?:

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

Correction to: Growth of nanoporous high-entropy oxide thin..:

Guo, Huiming ; Wang, Xin ; Dupuy, Alexander D...
Journal of Materials Research.  37 (2022)  4 - p. 1018-1018 , 2022
 
?
 
1-15
Related subjects