William J. Bowman

Publication Activity (10 Years)

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

Top Topics

Strictly Convex

Human Perception

Lambda Calculus

Database Query Languages

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

Publications

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)