William J. Bowman

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 12

Top Topics

Database Query Languages

Human Perception

Automated Deduction

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

Publications

Paulette Koronkevich, William J. Bowman
Type Universes as Allocation Effects. CoRR (2024)
Adam T. Geller, Justin Frank, William J. Bowman
Indexed Types for a Statically Safe WebAssembly. Proc. ACM Program. Lang. 8 (POPL) (2024)
Jonathan Chan, Yufeng Li, William J. Bowman
Is sized typing for Coq practical? J. Funct. Program. 33 (2023)
Doruk Aksoy, Huolin L. Xin, Timothy J. Rupert, William J. Bowman
Human Perception-Inspired Grain Segmentation Refinement Using Conditional Random Fields. CoRR (2023)
Paulette Koronkevich, Ramon Rakow, Amal Ahmed, William J. Bowman
ANF preserves dependent types up to extensional equality. J. Funct. Program. 32 (2022)
Stephen Chang, Michael Ballantyne, Milo Turner, William J. Bowman
Dependent Type Systems as Macros. CoRR (2021)
Stephen Chang, Michael Ballantyne, Milo Turner, William J. Bowman
Dependent type systems as macros. Proc. ACM Program. Lang. 4 (POPL) (2020)
Jonathan Chan, William J. Bowman
Practical Sized Typing for Coq. CoRR (2019)
William J. Bowman, Amal Ahmed
Typed Closure Conversion for the Calculus of Constructions. CoRR (2018)
William J. Bowman, Amal Ahmed
Typed closure conversion for the calculus of constructions. PLDI (2018)
William J. Bowman, Youyou Cong, Nick Rioux, Amal Ahmed
Type-preserving CPS translation of Σ and Π types is not not possible. Proc. ACM Program. Lang. 2 (POPL) (2018)
Max S. New, William J. Bowman, Amal Ahmed
Fully abstract compilation via universal embedding. ICFP (2016)
William J. Bowman, Amal Ahmed
Noninterference for free. ICFP (2015)
William J. Bowman, Swaha Miller, Vincent St-Amour, R. Kent Dybvig
Profile-guided meta-programming. PLDI (2015)