Follow
William J. Bowman
Title
Cited by
Cited by
Year
Noninterference for Free
WJ Bowman, A Ahmed
Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015
762015
Fully abstract compilation via universal embedding
MS New, WJ Bowman, A Ahmed
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
742016
Dagger traced symmetric monoidal categories and reversible programming
WJ Bowman, RP James, A Sabry
Proceedings of the 3rd Workshop on Reversible Computation, 2011
332011
Type-Preserving CPS Translation of Σ and Π Types is Not Not Possible
WJ Bowman, Y Cong, N Rioux, A Ahmed
Proceedings of the ACM on Programming Languages, 2018
222018
Profile-Guided Meta-Programming
WJ Bowman, S Miller, V St-Amour, RK Dybvig
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015
112015
Dependent type systems as macros
S Chang, M Ballantyne, M Turner, WJ Bowman
Proceedings of the ACM on Programming Languages 4 (POPL), 1-29, 2019
102019
Typed closure conversion for the calculus of constructions
WJ Bowman, A Ahmed
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018
102018
Growing a Proof Assistant
WJ Bowman
Workshop on Higher-Order Programming with Effects, 2016
62016
Is sized typing for Coq practical?
J Chan, Y Li, WJ Bowman
Journal of Functional Programming 33, e1, 2023
5*2023
Compiling with dependent types
WJ Bowman
Northeastern University, 2019
52019
ANF preserves dependent types up to extensional equality
P Koronkevich, R Rakow, A Ahmed, WJ Bowman
Journal of Functional Programming 32, e12, 2022
12022
Compilation as Multi-Language Semantics
WJ Bowman
Workshop on Principles of Secure Compilation, 2021
12021
Parametric Closure Conversion for CIC
WJ Bowman, A Ahmed
12018
Only Control Effects and Dependent Types
Y Cong, WJ Bowman
Workshop on Higher-Order Programming with Effects, 2016
12016
Indexed Types for a Statically Safe WebAssembly
AT Geller, J Frank, WJ Bowman
Proceedings of the ACM on Programming Languages 8 (POPL), 2395-2424, 2024
2024
One Weird Trick to Untie Landin’s Knot
P KORONKEVICH, WJ BOWMAN
Workshop on Higher-order Programming with Effects (HOPE), 2023
2023
Macro-embedding Compiler Intermediate Languages in Racket
WJ Bowman
Scheme Workshop, 2022
2022
Trends in Functional Programming: 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers
WJ Bowman, R Garcia
Springer Nature, 2020
2020
Toward Type-Preserving Compilation of Coq
WJ Bowman
Student Research Competition, POPL, 2017
2017
Type-Preserving CPS Translation of Σ and Π-Types is Not Not Possible (Technical Appendix)
WJ Bowman, Y Cong, N Rioux, A Ahmed
2017
The system can't perform the operation now. Try again later.
Articles 1–20