William J. Bowman

According to our database, William J. Bowman authored at least 11 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Indexed Types for a Statically Safe WebAssembly.

Adam T. Geller, Justin Frank, William J. Bowman

Proc. ACM Program. Lang., January, 2024

2023

Is sized typing for Coq practical?

Jonathan Chan, Yufeng Li, William J. Bowman

J. Funct. Program., 2023

Human Perception-Inspired Grain Segmentation Refinement Using Conditional Random Fields.

Doruk Aksoy, Huolin L. Xin, Timothy J. Rupert, William J. Bowman

CoRR, 2023

2022

ANF preserves dependent types up to extensional equality.

Paulette Koronkevich, Ramon Rakow, Amal Ahmed, William J. Bowman

J. Funct. Program., 2022

2020

Dependent type systems as macros.

Stephen Chang, Michael Ballantyne, Milo Turner, William J. Bowman

Proc. ACM Program. Lang., 2020

2019

Practical Sized Typing for Coq.

Jonathan Chan, William J. Bowman

CoRR, 2019

2018

Type-preserving CPS translation of Σ and Π types is not not possible.

William J. Bowman, Youyou Cong, Nick Rioux, Amal Ahmed

Proc. ACM Program. Lang., 2018

Typed closure conversion for the calculus of constructions.

William J. Bowman, Amal Ahmed

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2016

Fully abstract compilation via universal embedding.

Max S. New, William J. Bowman, Amal Ahmed

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

2015

Profile-guided meta-programming.

William J. Bowman, Swaha Miller, Vincent St-Amour, R. Kent Dybvig

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Noninterference for free.

William J. Bowman, Amal Ahmed

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015